• simonpj's avatar
    [project @ 2005-06-27 12:59:52 by simonpj] · a9ae952e
    simonpj authored
    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.
    a9ae952e
Unify.lhs 16.6 KB