diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail033.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail033.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail033.stderr b/testsuite/tests/typecheck/should_fail/tcfail033.stderr index e349ab1116..bc346c2aac 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail033.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail033.stderr @@ -1,10 +1,10 @@ tcfail033.hs:4:12: error: - • Occurs check: cannot construct the infinite type: t1 ~ (t1, t) + • Occurs check: cannot construct the infinite type: a ~ (a, b) • 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 :: t (bound at tcfail033.hs:4:19) - x :: t1 (bound at tcfail033.hs:4:17) - buglet :: [(t1, t)] (bound at tcfail033.hs:4:1) + y :: b (bound at tcfail033.hs:4:19) + x :: a (bound at tcfail033.hs:4:17) + buglet :: [(a, b)] (bound at tcfail033.hs:4:1) |