Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr
1 \r
2 tcfail201.hs:17:56: error:\r
3     • Couldn't match type ‘a’ with ‘HsDoc t0’\r
4       ‘a’ is a rigid type variable bound by\r
5         the type signature for:\r
6           gfoldl' :: forall (c :: * -> *) a.\r
7                      (forall a1 b. c (a1 -> b) -> a1 -> c b)\r
8                      -> (forall g. g -> c g) -> a -> c a\r
9         at tcfail201.hs:15:1-85\r
10       Expected type: c a\r
11         Actual type: c (HsDoc t0)\r
12     • In the expression: z DocEmpty\r
13       In a case alternative: DocEmpty -> z DocEmpty\r
14       In the expression: case hsDoc of { DocEmpty -> z DocEmpty }\r
15     • Relevant bindings include\r
16         hsDoc :: a (bound at tcfail201.hs:16:13)\r
17         gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)\r
18                    -> (forall g. g -> c g) -> a -> c a\r
19           (bound at tcfail201.hs:16:1)\r