Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr
1 \r
2 tcfail201.hs:18:28:\r
3     Couldn't match expected type ‘a’ with actual type ‘HsDoc id1’\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:15:12\r
9     Relevant bindings include\r
10       hsDoc :: a (bound at tcfail201.hs:16:13)\r
11       gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)\r
12                  -> (forall g. g -> c g) -> a -> c a\r
13         (bound at tcfail201.hs:16:1)\r
14     In the pattern: DocParagraph hsDoc\r
15     In a case alternative:\r
16         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc\r
17     In the expression:\r
18       case hsDoc of {\r
19         DocEmpty -> z DocEmpty\r
20         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }\r