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

[User olaf]

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.