diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail076.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail076.stderr | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail076.stderr b/testsuite/tests/typecheck/should_fail/tcfail076.stderr index 869b9472f3..8283ef0458 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail076.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail076.stderr @@ -1,16 +1,18 @@ -tcfail076.hs:18:82: - Couldn't match type ‘res’ with ‘res1’ +tcfail076.hs:18:82: error: + • 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 + a type expected by the context: + forall res. (a -> m res) -> m res + at tcfail076.hs:18:28 ‘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 - Actual type: m res - In the expression: cont a - In the first argument of ‘KContT’, namely ‘(\ cont' -> cont a)’ - Relevant bindings include - cont' :: b -> m res1 (bound at tcfail076.hs:18:73) - cont :: a -> m res (bound at tcfail076.hs:18:37) + a type expected by the context: + forall res1. (b -> m res1) -> m res1 + at tcfail076.hs:18:64 + Expected type: m res1 + Actual type: m res + • In the expression: cont a + In the first argument of ‘KContT’, namely ‘(\ cont' -> cont a)’ + • Relevant bindings include + cont' :: b -> m res1 (bound at tcfail076.hs:18:73) + cont :: a -> m res (bound at tcfail076.hs:18:37) |