-
Simon Peyton Jones authored
When I rejigged constraint simplification when inferring types, I missed a corner case. Somethign that it's distressingly easy to do. Anyway this fixes it; see the comments in tcSimplifyInfer with the second call to partition and extendLIEs. The test is tcfail181.
fd7f8e93