diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail014.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail014.stderr | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail014.stderr b/testsuite/tests/typecheck/should_fail/tcfail014.stderr index d46bf92db3..713ffce5e5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail014.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail014.stderr @@ -1,6 +1,9 @@ tcfail014.hs:5:33: - Occurs check: cannot construct the infinite type: t1 = t1 -> t0 + Occurs check: cannot construct the infinite type: t8 ~ t8 -> t7 + Relevant bindings include + h :: (t8 -> t7) -> t7 (bound at tcfail014.hs:5:25) + z :: t8 -> t7 (bound at tcfail014.hs:5:27) In the first argument of `z', namely `z' In the expression: z z In an equation for `h': h z = z z |