blob: f506bff6f8e5ee978e8c5f45ebc666ce03321b50 (
plain)
1
2
3
4
5
6
7
8
9
|
tcfail014.hs:5:33: error:
• Occurs check: cannot construct the infinite type: t4 ~ t4 -> t5
• In the first argument of ‘z’, namely ‘z’
In the expression: z z
In an equation for ‘h’: h z = z z
• Relevant bindings include
z :: t4 -> t5 (bound at tcfail014.hs:5:27)
h :: (t4 -> t5) -> t5 (bound at tcfail014.hs:5:25)
|