blob: f65b01e217c661f507505580920df2e26a912a23 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T7861: T7861.hs:10:5: error:
• Couldn't match type ‘a’ with ‘[a]’
Expected: (forall b. a) -> a
Actual: (forall b. a) -> [a]
‘a’ is a rigid type variable bound by
the type signature for:
f :: forall a. (forall b. a) -> a
at T7861.hs:9:1-23
• In the expression: doA
In an equation for ‘f’: f = doA
• Relevant bindings include
f :: (forall b. a) -> a (bound at T7861.hs:10:1)
(deferred type error)
|