blob: 0ebb5c826eb5af325e8f3e54bdc09d21a8fad04e (
plain)
1
2
3
4
5
6
7
8
9
10
|
tcfail033.hs:4:12:
Occurs check: cannot construct the infinite type: t ~ (t, t1)
Relevant bindings include
buglet :: [(t, t1)] (bound at tcfail033.hs:4:1)
x :: t (bound at tcfail033.hs:4:17)
y :: t1 (bound at tcfail033.hs:4:19)
In the expression: x
In the expression: [x | (x, y) <- buglet]
In an equation for ‛buglet’: buglet = [x | (x, y) <- buglet]
|