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

[User olaf]

olaf: Tue Apr 16 15:58:48 CEST 2002

Update of /usr/src/master/nhc/src/compiler98
In directory hinken:/tmp/cvs-serv25552/src/compiler98

Modified Files:
	AuxLabelAST.hs Syntax.hs TraceDerive.hs TraceId.hs 
	TraceTrans.hs 
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