[Haskell-cafe] Mystery: constructor type applications differ from signatures

Ryan Scott ryan.gl.scott at gmail.com
Sat Oct 29 13:24:24 UTC 2022


 I'm inclined to believe that this is a bug in the way that GHC typechecks
type applications in patterns. Can you file a GHC issue about this?

Ryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221029/2ef73c7a/attachment.html>


More information about the Haskell-Cafe mailing list