diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail033.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail033.stderr | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail033.stderr b/testsuite/tests/typecheck/should_fail/tcfail033.stderr index fd2887de60..94e998f05f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail033.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail033.stderr @@ -1,9 +1,10 @@ -tcfail033.hs:4:12: - Occurs check: cannot construct the infinite type: t ~ (t, t1) - In the expression: x - In the expression: [x | (x, y) <- buglet] - Relevant bindings include - y :: t1 (bound at tcfail033.hs:4:19) - x :: t (bound at tcfail033.hs:4:17) - buglet :: [(t, t1)] (bound at tcfail033.hs:4:1) +tcfail033.hs:4:12: error: + • Occurs check: cannot construct the infinite type: t ~ (t, t1) + • In the expression: x + In the expression: [x | (x, y) <- buglet] + In an equation for ‘buglet’: buglet = [x | (x, y) <- buglet] + • Relevant bindings include + y :: t1 (bound at tcfail033.hs:4:19) + x :: t (bound at tcfail033.hs:4:17) + buglet :: [(t, t1)] (bound at tcfail033.hs:4:1) |