simonpj 2005/10/12 06:31:12 PDT
Modified files:
ghc/compiler/typecheck TcUnify.lhs
Log:
MERGE TO STABLE
Fix a bug in TcUnify.unifyTyConApp that made a GADT program fail.
The trouble happens if the type that we are expecting to be
a TyConApp is of form (m a b), where 'm' is refined to a type
constructor. Then we want to get nice rigid results, and we weren't.
Revision Changes Path
1.73 +39 -29 fptools/ghc/compiler/typecheck/TcUnify.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
