[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/prelude/Hat
In directory hinken:/tmp/cvs-serv19660/src/prelude/Hat

Modified Files:
	Hat.hs Makefile TPrelude.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.