Merge remote-tracking branch 'origin/master' into tc-untouchables
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr
1
2 tcfail201.hs:17:27:
3     Couldn't match expected type `a' with actual type `HsDoc t0'
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       gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
11                  -> (forall g. g -> c g) -> a -> c a
12         (bound at tcfail201.hs:16:1)
13       hsDoc :: a (bound at tcfail201.hs:16:13)
14     In the pattern: DocEmpty
15     In a case alternative: DocEmpty -> z DocEmpty
16     In the expression:
17       case hsDoc of {
18         DocEmpty -> z DocEmpty
19         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }