diff options
Diffstat (limited to 'testsuite/tests/parser/should_fail/readFail003.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/readFail003.stderr | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/testsuite/tests/parser/should_fail/readFail003.stderr b/testsuite/tests/parser/should_fail/readFail003.stderr index fe8ce00577..ae3518eeed 100644 --- a/testsuite/tests/parser/should_fail/readFail003.stderr +++ b/testsuite/tests/parser/should_fail/readFail003.stderr @@ -1,7 +1,11 @@ readFail003.hs:4:27: Occurs check: cannot construct the infinite type: - t0 = (t0, [a0], [a1]) + t ~ (t, [a], [a1]) + Relevant bindings include + c :: [a1] (bound at readFail003.hs:4:7) + b :: [a] (bound at readFail003.hs:4:5) + a :: t (bound at readFail003.hs:4:3) In the expression: a In a pattern binding: ~(a, b, c) @@ -13,7 +17,11 @@ readFail003.hs:4:27: readFail003.hs:5:27: Occurs check: cannot construct the infinite type: - t0 = (t0, [a0], [a1]) + t ~ (t, [a], [a1]) + Relevant bindings include + c :: [a1] (bound at readFail003.hs:4:7) + b :: [a] (bound at readFail003.hs:4:5) + a :: t (bound at readFail003.hs:4:3) In the expression: a In a pattern binding: ~(a, b, c) @@ -25,7 +33,11 @@ readFail003.hs:5:27: readFail003.hs:6:27: Occurs check: cannot construct the infinite type: - t0 = (t0, [a0], [a1]) + t ~ (t, [a], [a1]) + Relevant bindings include + c :: [a1] (bound at readFail003.hs:4:7) + b :: [a] (bound at readFail003.hs:4:5) + a :: t (bound at readFail003.hs:4:3) In the expression: a In a pattern binding: ~(a, b, c) |