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 wibble - - - - - 1 changed file: - compiler/GHC/Tc/Utils/Monad.hs Changes: ===================================== compiler/GHC/Tc/Utils/Monad.hs ===================================== @@ -1750,7 +1750,7 @@ Other wrinkles (CERR2) In #26015 I found that from the constraints [W] alpha ~ Int -- A class constraint [W] F alpha ~# Bool -- An equality constraint - we were dropping the first (becuase it's a class constraint) but not the + we were dropping the first (because it's a class constraint) but not the second, and then getting a misleading error message from the second. As #25607 shows, we can get not just one but a zillion bogus messages, which conceal the one genuine error. Boo. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/596c213508daa7976fb39fdb60cf71ea... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/596c213508daa7976fb39fdb60cf71ea... You're receiving this email because of your account on gitlab.haskell.org.