[cvs-nhc98] patch applied (hat): Tracing of type synonyms works now.

[Malcolm Wallace]

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