blob: 03efc08ff2aca5078efe07a038f2f68e4da61f98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
tcfail201.hs:17:58: error:
• Couldn't match expected type ‘a’ with actual type ‘HsDoc id0’
‘a’ is a rigid type variable bound by
the type signature for:
gfoldl' :: forall a (c :: * -> *).
(forall a1 b. c (a1 -> b) -> a1 -> c b)
-> (forall g. g -> c g) -> a -> c a
at tcfail201.hs:15:12
• In the first argument of ‘z’, namely ‘DocEmpty’
In the expression: z DocEmpty
• Relevant bindings include
hsDoc :: a (bound at tcfail201.hs:16:13)
gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
-> (forall g. g -> c g) -> a -> c a
(bound at tcfail201.hs:16:1)
|
