diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail178.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail178.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail178.stderr b/testsuite/tests/typecheck/should_fail/tcfail178.stderr new file mode 100644 index 0000000000..63119af75e --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail178.stderr @@ -0,0 +1,13 @@ + +tcfail178.hs:15:7: + Couldn't match expected type `[a0]' with actual type `()' + Expected type: Bool -> [a0] + Actual type: Bool -> () + In the first argument of `a', namely `y' + In the expression: a y + +tcfail178.hs:18:7: + Couldn't match expected type `Bool -> [a0]' with actual type `()' + In the first argument of `a', namely `()' + In the expression: a () + In an equation for `d': d = a () |