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

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Sat Oct 29 13:49:43 UTC 2022

OK, here you go: https://gitlab.haskell.org/ghc/ghc/-/issues/22383

On Sat, Oct 29, 2022 at 09:24:24AM -0400, Ryan Scott wrote:
>  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?

More information about the Haskell-Cafe mailing list