Error message degradation for (<= :: Nat -> Nat -> Constraint) in GHC 9.2+

Sam Derbyshire sam.derbyshire at gmail.com
Thu Jun 17 12:37:46 UTC 2021


Hi Christiaan,

As far as I'm concerned that's a worrying regression, and I think you
should file a ticket on the GHC tracker about it.
I believe GHC already contains logic to avoid expanding type synonyms in
error messages in certain situations, but it apparently doesn't apply here.
Hopefully someone more knowledgeable about this can chime in.

Sam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210617/f6450e35/attachment.html>


More information about the ghc-devs mailing list