diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/mc22.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/mc22.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/mc22.stderr b/testsuite/tests/typecheck/should_fail/mc22.stderr index d020bae094..7a4cc4e44b 100644 --- a/testsuite/tests/typecheck/should_fail/mc22.stderr +++ b/testsuite/tests/typecheck/should_fail/mc22.stderr @@ -1,11 +1,11 @@ mc22.hs:10:26: - Couldn't match type `a' with `t a' - `a' is a rigid type variable bound by + Couldn't match type ‛a’ with ‛t a’ + ‛a’ is a rigid type variable bound by a type expected by the context: [a] -> [t a] at mc22.hs:10:9 Expected type: [a] -> [t a] Actual type: [a] -> [a] Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1) - In the return type of a call of `take' + In the return type of a call of ‛take’ In the expression: take 5 In a stmt of a monad comprehension: then group using take 5 |