23dd02614bebb7409b3d814b38fecc1fe6a3203c
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr
1 \r
2 tcfail201.hs:18:28:\r
3     Couldn't match type `a' with `HsDoc id0'\r
4       `a' is a rigid type variable bound by\r
5           the type signature for\r
6             gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)\r
7                        -> (forall g. g -> c g) -> a -> c a\r
8           at tcfail201.hs:16:1\r
9     In the pattern: DocParagraph hsDoc\r
10     In a case alternative:\r
11         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc\r
12     In the expression:\r
13       case hsDoc of {\r
14         DocEmpty -> z DocEmpty\r
15         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }\r