Sat Mar 1 06:53:06 PST 2008 Ian Lynagh <[EMAIL PROTECTED]>
* MERGED: Fix Trac #1899; missing equality check in typechecker's constraint
simplifier
[EMAIL PROTECTED]
This patch fixes a missing equality check (uifying type variable b=b) in
the new constraint simplifier in TcTyFuns. As it stands, we were making
'b' point to itself, which subsequently led to an infinite loop when
zonking. Test is T1899.hs
M ./compiler/typecheck/TcTyFuns.lhs -14 +18
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
