diff options
Diffstat (limited to 'testsuite/tests/parser/should_fail/readFail003.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/readFail003.stderr | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/testsuite/tests/parser/should_fail/readFail003.stderr b/testsuite/tests/parser/should_fail/readFail003.stderr index acb265b9b4..8b9b4d0295 100644 --- a/testsuite/tests/parser/should_fail/readFail003.stderr +++ b/testsuite/tests/parser/should_fail/readFail003.stderr @@ -1,16 +1,16 @@ -readFail003.hs:4:27: - Occurs check: cannot construct the infinite type: - t ~ (t, [a], [a1]) - In the expression: a - In a pattern binding: - ~(a, b, c) - | nullity b = a - | nullity c = a - | otherwise = a - where - nullity = null - Relevant bindings include - a :: t (bound at readFail003.hs:4:3) - b :: [a] (bound at readFail003.hs:4:5) - c :: [a1] (bound at readFail003.hs:4:7) +readFail003.hs:4:27: error: + • Occurs check: cannot construct the infinite type: + r ~ (r, [a], [a1]) + • In the expression: a + In a pattern binding: + ~(a, b, c) + | nullity b = a + | nullity c = a + | otherwise = a + where + nullity = null + • Relevant bindings include + a :: r (bound at readFail003.hs:4:3) + b :: [a] (bound at readFail003.hs:4:5) + c :: [a1] (bound at readFail003.hs:4:7) |