blob: 65b217ef1f726fa4e405d45884df0ae1ff66eb6c (
plain)
1
2
3
4
5
6
7
8
9
|
tcfail014.hs:5:33: error:
• Couldn't match expected type ‘t4’ with actual type ‘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)
|