blob: 9cd71add8d9135b1d92d96c6acb5c74fb1486fd0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T7734.hs:4:13:
Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
In the first argument of ‘x’, namely ‘x’
In the expression: x x
Relevant bindings include
x :: t2 -> t1 (bound at T7734.hs:4:1)
f :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:4:1)
T7734.hs:5:13:
Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
In the first argument of ‘x’, namely ‘x’
In the expression: x x
Relevant bindings include
x :: t2 -> t1 (bound at T7734.hs:5:5)
(&) :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1)
|