testsuite/tests/typecheck/should_fail/TyAppPat_TooMany.stderr


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