blob: c40ede33ea12cbbfa255bf4cb5d646eccd8b9031 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail002.hs:4:7: error: [GHC-25897]
• 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)
|