Re: [Haskell-cafe] Mystery: constructor type applications differ from signatures
29 Oct
2022
29 Oct
'22
9:24 a.m.
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
29 Oct
29 Oct
9:49 a.m.
New subject: Mystery: constructor type applications differ from signatures
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?
934
Age (days ago)
934
Last active (days ago)
1 comments
2 participants
participants (2)
-
Ryan Scott -
Tom Ellis