blob: d69fe96287164869660761e6a8c59849c0c798b6 (
plain)
1
2
3
4
5
6
|
TyAppPat_TooMany.hs:6:4: error: [GHC-01629]
• Too many type arguments in constructor pattern for ‘Just’
Expected no more than 1; got 2
• In the pattern: Just @Int @Bool x
In an equation for ‘f’: f (Just @Int @Bool x) = x
|