[cvs-nhc98] patch applied (hat): Generation of new Augmented Redex Trail file format.

[Malcolm Wallace]

Tue Apr 16 06:58:48 PDT 2002  olaf
  * 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

    M ./include/art.h -37 +59
    M ./src/compiler98/AuxLabelAST.hs -1 +4
    M ./src/compiler98/Syntax.hs +3
    M ./src/compiler98/TraceDerive.hs -19 +19
    M ./src/compiler98/TraceId.hs +5
    M ./src/compiler98/TraceTrans.hs -406 +433
    M ./src/hatlib/Hat.hs -1929 +1066
    M ./src/hatlib/PreludeBuiltin.hs +1
    M ./src/hatlib/TDirectoryBuiltin.hs -6 +7
    M ./src/hatlib/TIOBuiltin.hs -18 +24
    M ./src/hatlib/TPreludeBuiltinTypes.hs -60 +29
    M ./src/hatlib/TRandomBuiltin.hs -3 +7
    M ./src/hatlib/TSystemBuiltin.hs -4 +5
    M ./src/hatlib/TTimeBuiltin.hs -51 +55
    M ./src/hatlib/hat-c.c -1032 +691
    M ./src/hatlib/hat-c.h -192 +194
    M ./src/hattrans/AuxLabelAST.hs -1 +4
    M ./src/hattrans/TraceDerive.hs -19 +19
    M ./src/hattrans/TraceId.hs +5
    M ./src/hattrans/TraceTrans.hs -406 +433