[cvs-nhc98] Changed tracing combinator ulazySat for untraced code.

[User olaf]

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.