diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail076.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail076.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail076.stderr b/testsuite/tests/typecheck/should_fail/tcfail076.stderr index 5e8361aa66..c5bd8a5bc8 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail076.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail076.stderr @@ -1,10 +1,10 @@ tcfail076.hs:18:82: - Couldn't match type `res' with `res1' - `res' is a rigid type variable bound by + Couldn't match type ‛res’ with ‛res1’ + ‛res’ is a rigid type variable bound by a type expected by the context: (a -> m res) -> m res at tcfail076.hs:18:28 - `res1' is a rigid type variable bound by + ‛res1’ is a rigid type variable bound by a type expected by the context: (b -> m res1) -> m res1 at tcfail076.hs:18:64 Expected type: m res1 @@ -12,6 +12,6 @@ tcfail076.hs:18:82: Relevant bindings include cont :: a -> m res (bound at tcfail076.hs:18:37) cont' :: b -> m res1 (bound at tcfail076.hs:18:73) - In the return type of a call of `cont' + In the return type of a call of ‛cont’ In the expression: cont a - In the first argument of `KContT', namely `(\ cont' -> cont a)' + In the first argument of ‛KContT’, namely ‛(\ cont' -> cont a)’ |