Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr
1
2 tcfail201.hs:18:28:
3     Couldn't match expected type ‘a’ with actual type ‘HsDoc id1’
4       ‘a’ is a rigid type variable bound by
5           the type signature for:
6             gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
7                        -> (forall g. g -> c g) -> a -> c a
8           at tcfail201.hs:15:12
9     Relevant bindings include
10       hsDoc :: a (bound at tcfail201.hs:16:13)
11       gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
12                  -> (forall g. g -> c g) -> a -> c a
13         (bound at tcfail201.hs:16:1)
14     In the pattern: DocParagraph hsDoc
15     In a case alternative:
16         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc
17     In the expression:
18       case hsDoc of {
19         DocEmpty -> z DocEmpty
20         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }