blob: 2b5e60d49b1393f89b64a3b181a7034b58c208f3 (
plain)
1
2
3
4
5
6
|
TyAppPat_TooMany.hs:6:4: error:
• 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
|