olaf: Tue Apr 16 15:58:47 CEST 2002 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv25552/include Modified Files: art.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