tcfail033.hs:4:
- Occurs check: cannot construct the infinite type: aIB = (aIB, aIE)
- Expected: aIF aIB
- Inferred: aIF (aIB, aIE)
- In a pattern binding: buglet = [x | (x, y) <- buglet]
+ Occurs check: cannot construct the infinite type: t = (t, _116)
+ Expected type: (t, _116)
+ Inferred type: t
+ In a list-comprehension qualifier: return x
Compilation had errors
+