diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7734.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7734.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7734.stderr b/testsuite/tests/typecheck/should_fail/T7734.stderr index 53536d1a13..1b1716bfc5 100644 --- a/testsuite/tests/typecheck/should_fail/T7734.stderr +++ b/testsuite/tests/typecheck/should_fail/T7734.stderr @@ -1,18 +1,18 @@ T7734.hs:4:13: error: - • Occurs check: cannot construct the infinite type: r2 ~ r2 -> r1 + • Occurs check: cannot construct the infinite type: t1 ~ t1 -> t2 • In the first argument of ‘x’, namely ‘x’ In the expression: x x In an equation for ‘f’: x `f` y = x x • Relevant bindings include - x :: r2 -> r1 (bound at T7734.hs:4:1) - f :: (r2 -> r1) -> r -> r1 (bound at T7734.hs:4:1) + x :: t1 -> t2 (bound at T7734.hs:4:1) + f :: (t1 -> t2) -> t -> t2 (bound at T7734.hs:4:3) T7734.hs:5:13: error: - • Occurs check: cannot construct the infinite type: r2 ~ r2 -> r1 + • Occurs check: cannot construct the infinite type: t1 ~ t1 -> t2 • In the first argument of ‘x’, namely ‘x’ In the expression: x x In an equation for ‘&’: (&) x y = x x • Relevant bindings include - x :: r2 -> r1 (bound at T7734.hs:5:5) - (&) :: (r2 -> r1) -> r -> r1 (bound at T7734.hs:5:1) + x :: t1 -> t2 (bound at T7734.hs:5:5) + (&) :: (t1 -> t2) -> t -> t2 (bound at T7734.hs:5:1) |