simonpj 2005/08/11 01:04:34 PDT
Modified files:
ghc/compiler/typecheck TcMType.lhs TcType.lhs TcUnify.lhs
ghc/compiler/types Kind.lhs Type.lhs
Log:
Do 'tidying' on Kinds before printing them. This avoids printing
stuff like 'k_43b' in user error messages.
To do this, I ended up adding an OccName to Kind.KindVar. Even
then the implementation is a bit of hack (see comments with
Type.tidyKind). Still, it's a highly localised hack, whereas the
"right thing" entails making KindVar into a flavour of Var, which
seems like an uncomfortably big change.
I think this change can merge to the stable branch
Revision Changes Path
1.73 +3 -3 fptools/ghc/compiler/typecheck/TcMType.lhs
1.126 +2 -2 fptools/ghc/compiler/typecheck/TcType.lhs
1.72 +7 -4 fptools/ghc/compiler/typecheck/TcUnify.lhs
1.20 +27 -9 fptools/ghc/compiler/types/Kind.lhs
1.138 +39 -1 fptools/ghc/compiler/types/Type.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
