
23 Feb
2001
23 Feb
'01
1:22 p.m.
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.