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