olaf: Tue Nov 13 15:28:39 CET 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv19660/include Modified Files: Hat.hi TPrelude.hi 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.