testsuite/tests/typecheck/should_fail/tcfail010.stderr


1
2
3
4
5
6
7
8


tcfail010.hs:3:18:
    No instance for (Num [t0])
      arising from the literal `2'
    Possible fix: add an instance declaration for (Num [t0])
    In the second argument of `(+)', namely `2'
    In the expression: z + 2
    In the expression: \ (y : z) -> z + 2