[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