cvs commit: fptools/ghc/compiler/types Unify.lhs

[Simon Peyton Jones]

simonpj     2005/06/27 05:59:53 PDT

  Modified files:
    ghc/compiler/types   Unify.lhs 
  Log:
  	MERGE TO STABLE
  
  Fix a typechecker bug, which made the typechecker loop under certain
  circumstances, notably when we have
  	type Foo a = a
  and try to unify
  	b :=: Foo b
  
  typecheck/should_compile/tc195 tests this case now.
  
  Revision  Changes    Path
  1.23      +16 -8     fptools/ghc/compiler/types/Unify.lhs