Tue Apr 16 06:58:48 PDT 2002 olaf * Generation of new Augmented Redex Trail file format. Modified transformation, combinators and C-functions so that the portable transformation (not -T) now writes the new ART file format as described in Memo 31, Version 2. Works well for simple examples including Adjoxo. Still incomplete: implementation of several combinators (higher arity) still missing; interruption of computations impossible. No longer uses a SAT B/C stack, but updates result pointers immediately (entered and final result). Slower than previous portable version with ghc; adjoxo < edgecorner1.in: was: time 17s size 41444474B now: time 30s size 32370807B M ./include/art.h -37 +59 M ./src/compiler98/AuxLabelAST.hs -1 +4 M ./src/compiler98/Syntax.hs +3 M ./src/compiler98/TraceDerive.hs -19 +19 M ./src/compiler98/TraceId.hs +5 M ./src/compiler98/TraceTrans.hs -406 +433 M ./src/hatlib/Hat.hs -1929 +1066 M ./src/hatlib/PreludeBuiltin.hs +1 M ./src/hatlib/TDirectoryBuiltin.hs -6 +7 M ./src/hatlib/TIOBuiltin.hs -18 +24 M ./src/hatlib/TPreludeBuiltinTypes.hs -60 +29 M ./src/hatlib/TRandomBuiltin.hs -3 +7 M ./src/hatlib/TSystemBuiltin.hs -4 +5 M ./src/hatlib/TTimeBuiltin.hs -51 +55 M ./src/hatlib/hat-c.c -1032 +691 M ./src/hatlib/hat-c.h -192 +194 M ./src/hattrans/AuxLabelAST.hs -1 +4 M ./src/hattrans/TraceDerive.hs -19 +19 M ./src/hattrans/TraceId.hs +5 M ./src/hattrans/TraceTrans.hs -406 +433