[cvs-nhc98] patch applied (hat): Removed #if defined(TRACING) from src/prelude/*/*.hs where it was used before,

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 06:59:47 EDT 2006


Tue Oct  3 04:16:23 PDT 2000  olaf
  * Removed #if defined(TRACING) from src/prelude/*/*.hs where it was used before,
  because the tracing transformation couldn't cope with type synonyms.
  
  Discovered a bug in the tracing transformation of type synonyms and
  removed it.
  The function unwrapNT needs a special expand function, the one in
  TypeUnify is not suitable because it uses the idempotent closure of the
  substitution.
  
  Also added some type declarations and comments.

    M ./src/compiler98/DbgTrans.hs -10 +22
    M ./src/compiler98/TypeSubst.hs -5 +33
    M ./src/compiler98/TypeUnify.hs -1 +25


More information about the Cvs-nhc98 mailing list