olaf: Tue Apr 16 15:58:49 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv25552/src/hat/lib Modified Files: Hat.hs PreludeBuiltin.hs TDirectoryBuiltin.hs TIOBuiltin.hs TPreludeBuiltinTypes.hs TRandomBuiltin.hs TSystemBuiltin.hs TTimeBuiltin.hs hat.c hat.h Log Message: 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