diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail153.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail153.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail153.stderr b/testsuite/tests/typecheck/should_fail/tcfail153.stderr index 2647156f87..ba1da78d4e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail153.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail153.stderr @@ -1,16 +1,16 @@ tcfail153.hs:6:7: - Couldn't match type `a' with `Bool' - `a' is a rigid type variable bound by + Couldn't match type ‛a’ with ‛Bool’ + ‛a’ is a rigid type variable bound by the type signature for f :: a -> [a] at tcfail153.hs:5:6 Expected type: [a] Actual type: [Bool] Relevant bindings include f :: a -> [a] (bound at tcfail153.hs:6:1) x :: a (bound at tcfail153.hs:6:3) - In the return type of a call of `g' + In the return type of a call of ‛g’ In the expression: g x - In an equation for `f': + In an equation for ‛f’: f x = g x where |