-
Simon Peyton Jones authored
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
e7577a78