cvs commit: fptools/ghc/compiler/typecheck TcUnify.lhs
Simon Peyton Jones
simonpj at microsoft.com
Wed Oct 12 09:31:12 EDT 2005
simonpj 2005/10/12 06:31:12 PDT
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
More information about the Cvs-ghc