cvs commit: fptools/ghc/compiler/typecheck TcUnify.lhs

[Simon Peyton Jones]

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