diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail178.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail178.stderr | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail178.stderr b/testsuite/tests/typecheck/should_fail/tcfail178.stderr index 472e133098..98df425424 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail178.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail178.stderr @@ -1,14 +1,16 @@ -tcfail178.hs:15:7: - Couldn't match type ‘()’ with ‘[a]’ - Expected type: Bool -> [a] - Actual type: Bool -> () - In the first argument of ‘a’, namely ‘y’ - In the expression: a y - Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1) +tcfail178.hs:15:7: error: + • Couldn't match type ‘()’ with ‘[a]’ + Expected type: Bool -> [a] + Actual type: Bool -> () + • In the first argument of ‘a’, namely ‘y’ + In the expression: a y + In an equation for ‘c’: c = a y + • Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1) -tcfail178.hs:18:7: - Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’ - In the first argument of ‘a’, namely ‘()’ - In the expression: a () - Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1) +tcfail178.hs:18:7: error: + • Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’ + • In the first argument of ‘a’, namely ‘()’ + In the expression: a () + In an equation for ‘d’: d = a () + • Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1) |