Fri Sep 29 11:10:45 PDT 2000 olaf * Tracing of type synonyms works now. The transformation of the type synonym definition existed already and I had turned it on already in the last version. The type error in the last version was caused by the fact, that the tracing transformation transforms the definition of a function with a type signature, f :: type f p1 .. pn = body into f :: transformed type f sr tr = funn ... f' ... where f' :: transformed transformed type f' tr [p1] ... [pn] = transformed body The function unwrapNT in module DbgTrans transforms the transformed type of f into the transformed transformed type of f'. However, this function did not handle type synoyms at all and thus produced wrong types when they occurred. Modified unwrapNT. Also added some type declarations and comments. M ./src/compiler98/Bind.hs -10 +13 M ./src/compiler98/DbgDataTrans.hs -15 +35 M ./src/compiler98/DbgTrans.hs -43 +106 M ./src/compiler98/Fixity.hs -6 +22 M ./src/compiler98/IExtract.hs -9 +22 M ./src/compiler98/Info.hs -1 +7 M ./src/compiler98/IntState.hs -3 +5 M ./src/compiler98/Main.hs -2 +6 M ./src/compiler98/Nice.hs -4 +56 M ./src/compiler98/PPSyntax.hs -1 +19 M ./src/compiler98/Remove1_3.hs -23 +123 M ./src/compiler98/Rename.hs -4 +12 M ./src/compiler98/RenameLib.hs -41 +37 M ./src/compiler98/RmClasses.hs -3 +30 M ./src/compiler98/SccModule.hs -2 +3 M ./src/compiler98/StrSyntax.hs -6 +10 M ./src/compiler98/Syntax.hs -11 +34 M ./src/compiler98/TokenId.hs -1 +1 M ./src/compiler98/Type.hs -28 +74 M ./src/compiler98/TypeLib.hs -7 +49 M ./src/compiler98/TypeUnify.hs -7 +29