testsuite/tests/typecheck/should_fail/tcfail010.stderr


1
2
3
4
5
6


tcfail010.hs:3:17: error:
    • No instance for ‘Num [a0]’ arising from a use of ‘+’
    • In the expression: z + 2
      In the expression: \ (y : z) -> z + 2
      In an equation for ‘q’: q = \ (y : z) -> z + 2