Update outputs following the unicode quote change in GHC's output
[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     Relevant bindings include
13       cont :: a -> m res (bound at tcfail076.hs:18:37)
14       cont' :: b -> m res1 (bound at tcfail076.hs:18:73)
15     In the return type of a call of ‛cont’
16     In the expression: cont a
17     In the first argument of ‛KContT’, namely ‛(\ cont' -> cont a)’