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

[User olaf]

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