[cvs-nhc98] patch applied (hat): Changed tracing combinator ulazySat for untraced code.

[Malcolm Wallace]

Tue Jan 22 07:26:56 PST 2002  olaf
  * Changed tracing combinator ulazySat for untraced code.
  The old one could not handle cyclic untraced data structures.
  The new one does, but always creates a Sat, ie. basically for every trusted reduction a Sat is constructed (however, old unportable version does not seem to be better in that respect).
  
  Transformed prelude with -hat -trusted, but nonetheless trace file seems to be considerably larger than for non-portable version.
  
  Corrected error in hat.c; pointers in hat.bridge had hidden flag set.
  
  Now hat-trail, hat-observe and hat-detect seem to work with trace files produced by portable version.
  
  Making everything is still done by hand.

    M ./src/compiler98/MainNew.hs -2 +2
    M ./src/compiler98/TraceTrans.hs -22 +19
    M ./src/hatlib/Hat.hs -14 +157
    M ./src/hatlib/Makefile -3 +4
    M ./src/hatlib/Prelude.hs -1 +4
    M ./src/hatlib/PreludeBasic.hs -1 +3
    M ./src/hatlib/PreludeBuiltin.hs -1 +5
    M ./src/hatlib/TPrelude.hs -205 +35
    M ./src/hatlib/TPreludeBuiltinTypes.hs -28 +2
    M ./src/hatlib/hat-c.c +1
    M ./src/hattrans/TraceTrans.hs -22 +19