olaf: Tue Jan 22 16:26:56 CET 2002 Update of /usr/src/master/nhc/src/prelude/Hat In directory hinken:/tmp/cvs-serv27074/src/prelude/Hat Modified Files: Hat.hs Makefile PreludeBasic.hs PreludeBuiltin.hs PreludeTracing.hs TPrelude.hs TPreludeBuiltinTypes.hs hat.c Log Message: 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.