Simon Peyton Jones pushed to branch wip/26805 at Glasgow Haskell Compiler / GHC
Commits:
-
596c2135
by Simon Peyton Jones at 2026-01-22T23:29:28+00:00
1 changed file:
Changes:
| ... | ... | @@ -1750,7 +1750,7 @@ Other wrinkles |
| 1750 | 1750 | (CERR2) In #26015 I found that from the constraints
|
| 1751 | 1751 | [W] alpha ~ Int -- A class constraint
|
| 1752 | 1752 | [W] F alpha ~# Bool -- An equality constraint
|
| 1753 | - we were dropping the first (becuase it's a class constraint) but not the
|
|
| 1753 | + we were dropping the first (because it's a class constraint) but not the
|
|
| 1754 | 1754 | second, and then getting a misleading error message from the second. As
|
| 1755 | 1755 | #25607 shows, we can get not just one but a zillion bogus messages, which
|
| 1756 | 1756 | conceal the one genuine error. Boo.
|