simonpj 2004/03/17 00:54:20 PST
Modified files:
ghc/compiler/typecheck TcType.lhs
Log:
Use sub-kind rather than kind-equality check in matchTys,
just as we do in TcUnify. This is someting I failed to
do when shifting to the funky new kind representation.
Revision Changes Path
1.103 +4 -2 fptools/ghc/compiler/typecheck/TcType.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
