olaf: Tue Jan 22 16:26:55 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv27074/src/compiler98 Modified Files: MainNew.hs TraceTrans.hs 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.