a39b0488c349f3e810dd05908be84801706217f7
[ghc.git] / testsuite / tests / typecheck / should_fail / T7734.stderr
1
2 T7734.hs:4:13: error:
3     • Occurs check: cannot construct the infinite type: t1 ~ t1 -> t
4     • In the first argument of ‘x’, namely ‘x’
5       In the expression: x x
6       In an equation for ‘f’: x `f` y = x x
7     • Relevant bindings include
8         x :: t1 -> t (bound at T7734.hs:4:1)
9         f :: (t1 -> t) -> p -> t (bound at T7734.hs:4:3)
10
11 T7734.hs:5:13: error:
12     • Occurs check: cannot construct the infinite type: t1 ~ t1 -> t
13     • In the first argument of ‘x’, namely ‘x’
14       In the expression: x x
15       In an equation for ‘&’: (&) x y = x x
16     • Relevant bindings include
17         x :: t1 -> t (bound at T7734.hs:5:5)
18         (&) :: (t1 -> t) -> p -> t (bound at T7734.hs:5:1)