Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail010.stderr
1
2 tcfail010.hs:3:16: error:
3     • No instance for (Num [a0]) arising from a use of ‘+’
4     • In the expression: z + 2
5       In the expression: \ (y : z) -> z + 2
6       In an equation for ‘q’: q = \ (y : z) -> z + 2