diff options
| author | Ian Lynagh <ian@well-typed.com> | 2013-03-03 16:05:43 +0000 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-03-03 16:05:43 +0000 |
| commit | 3b88f7546eeef0205d2b6047f6006bbe9ed8d7d0 (patch) | |
| tree | 390dee728d97359ac69952d27f03317652c12890 /testsuite/tests/typecheck/should_fail/T7734.stderr | |
| parent | 7341c6b83134d4b3bd8c754d80224de9f548d791 (diff) | |
| download | haskell-3b88f7546eeef0205d2b6047f6006bbe9ed8d7d0.tar.gz | |
Add a test for #7734
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7734.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7734.stderr | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7734.stderr b/testsuite/tests/typecheck/should_fail/T7734.stderr new file mode 100644 index 0000000000..d90d136a1a --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T7734.stderr @@ -0,0 +1,18 @@ + +T7734.hs:4:13: + Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1 + Relevant bindings include + f :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:4:1) + x :: t2 -> t1 (bound at T7734.hs:4:1) + In the first argument of ‛x’, namely ‛x’ + In the expression: x x + In an equation for ‛f’: x `f` y = x x + +T7734.hs:5:13: + Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1 + Relevant bindings include + & :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1) + x :: t2 -> t1 (bound at T7734.hs:5:5) + In the first argument of ‛x’, namely ‛x’ + In the expression: x x + In an equation for ‛&’: (&) x y = x x |