Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr
1
2 tcfail201.hs:17:58: error:
3     • Couldn't match expected type ‘a’ with actual type ‘HsDoc id0’
4       ‘a’ is a rigid type variable bound by
5         the type signature for:
6           gfoldl' :: forall (c :: * -> *) a.
7                      (forall a1 b. c (a1 -> b) -> a1 -> c b)
8                      -> (forall g. g -> c g) -> a -> c a
9         at tcfail201.hs:15:12
10     • In the first argument of ‘z’, namely ‘DocEmpty’
11       In the expression: z DocEmpty
12     • Relevant bindings include
13         hsDoc :: a (bound at tcfail201.hs:16:13)
14         gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
15                    -> (forall g. g -> c g) -> a -> c a
16           (bound at tcfail201.hs:16:1)