[cvs-nhc98] Portable version:
User olaf
olaf@sparud.net
Tue, 13 Nov 2001 15:28:40 +0100 (CET)
olaf: Tue Nov 13 15:28:40 CET 2001
Update of /usr/src/master/nhc/src/compiler98
In directory hinken:/tmp/cvs-serv19660/src/compiler98
Modified Files:
TraceTrans.hs
Log Message:
Portable version:
Introduced type constructor Fun (newtype) that replaces -> in transformed code.
Thus (->) can be used in traced programs with less than two arguments;
also transformation of types is neater.
Also removed use of rap? combinators for the time being.
rap? combinators implement an optimisation that avoids some Sats.
However, keeping these combinators up to date with coming changes is work.
Furthermore, this optimisation makes it impossible to find all EDT children in aborted computations; note that more changes are necessary to enable finding of EDT children in aborted computations.