[cvs-nhc98] Generation of new Augmented Redex Trail file format.

[User olaf]

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