blob: 4e14032d62ac3222164d577c8a62214ce6e4dcf9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail002.hs:4:7: error:
• Couldn't match expected type ‘a’ with actual type ‘[a]’
‘a’ is a rigid type variable bound by
the inferred type of c :: [a] -> a
at tcfail002.hs:(3,1)-(4,7)
• In the expression: z
In an equation for ‘c’: c z = z
• Relevant bindings include
z :: [a] (bound at tcfail002.hs:4:3)
c :: [a] -> a (bound at tcfail002.hs:3:1)
|