blob: 3a9c89c13df31ad6f07fc980786f88b2a0808630 (
plain)
1
2
3
4
5
6
7
8
|
tcfail002.hs:4:7:
Occurs check: cannot construct the infinite type: t ~ [t]
Relevant bindings include
c :: [t] -> t (bound at tcfail002.hs:3:1)
z :: [t] (bound at tcfail002.hs:4:3)
In the expression: z
In an equation for `c': c z = z
|