Fold template-haskell.git into ghc.git (re #8545)
[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       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: 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 }