diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7734.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7734.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7734.stderr b/testsuite/tests/typecheck/should_fail/T7734.stderr index 0748826acb..fc3348abb7 100644 --- a/testsuite/tests/typecheck/should_fail/T7734.stderr +++ b/testsuite/tests/typecheck/should_fail/T7734.stderr @@ -2,15 +2,15 @@ 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) + f :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:4:1) In the first argument of ‛x’, namely ‛x’ In the expression: 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) + (&) :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1) In the first argument of ‛x’, namely ‛x’ In the expression: x x |