patch applied (hat): Removed #if defined(TRACING) from src/prelude/*/*.hs where it was used before,
10 Oct
2006
10 Oct
'06
12:59 p.m.
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
7022
Age (days ago)
7022
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace