[cvs-nhc98] Tracing does not work with this version.

User olaf olaf@sparud.net
Fri, 23 Feb 2001 19:22:01 +0100 (CET)


olaf: Fri Feb 23 19:22:01 CET 2001

Update of /usr/src/master/nhc/include
In directory hinken:/tmp/cvs-serv14166/include

Modified Files:
	Prelude.T.hi 
Log Message:
Tracing does not work with this version.

Changed the trace transformation in DbgTrans, the combinators in DebugPrelude and a few minor things in the compiler to call functions that create the trace on file (mkTAp1,..) instead of the old algebraic data types. Actually defined the new functions (mkTAp1,..) in terms of the old algebraic data types, so that tracing still partially works. However, trusting is always off and updating of Sats in the old way cannot be done with the new interface.