[cvs-nhc98] patch applied (hat): Portable version:

[Malcolm Wallace]

Tue Nov 13 06:28:40 PST 2001  olaf
  * 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.

    M ./src/compiler98/TraceTrans.hs -7 +10
    M ./src/hatlib/Hat.hs -582 +593
    M ./src/hatlib/Makefile -1 +1
    M ./src/hatlib/TPrelude.hs -17 +6
    M ./src/hattrans/TraceTrans.hs -7 +10