blob: fc3348abb7286d8995b8ee2188c5c51d56208935 (
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
Relevant bindings include
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
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
|