Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail076.stderr
1
2 tcfail076.hs:18:82:
3     Couldn't match type ‘res’ with ‘res1’
4       ‘res’ is a rigid type variable bound by
5             a type expected by the context: (a -> m res) -> m res
6             at tcfail076.hs:18:28
7       ‘res1’ is a rigid type variable bound by
8              a type expected by the context: (b -> m res1) -> m res1
9              at tcfail076.hs:18:64
10     Expected type: m res1
11       Actual type: m res
12     In the expression: cont a
13     In the first argument of ‘KContT’, namely ‘(\ cont' -> cont a)’
14     Relevant bindings include
15       cont' :: b -> m res1 (bound at tcfail076.hs:18:73)
16       cont :: a -> m res (bound at tcfail076.hs:18:37)