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