Merge branch 'master' of http://darcs.haskell.org/testsuite
[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     In the pattern: DocEmpty
10     In a case alternative: DocEmpty -> z DocEmpty
11     In the expression:
12       case hsDoc of {
13         DocEmpty -> z DocEmpty
14         (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }