diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail131.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail131.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail131.stderr b/testsuite/tests/typecheck/should_fail/tcfail131.stderr index db2a954d57..7cdcb6f2f9 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail131.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail131.stderr @@ -4,11 +4,11 @@ tcfail131.hs:7:9: from the context (Num b) bound by the type signature for g :: Num b => b -> b at tcfail131.hs:6:8-22 - `b' is a rigid type variable bound by + ‛b’ is a rigid type variable bound by the type signature for g :: Num b => b -> b at tcfail131.hs:6:8 Relevant bindings include g :: b -> b (bound at tcfail131.hs:7:3) x :: b (bound at tcfail131.hs:7:5) - In the return type of a call of `f' + In the return type of a call of ‛f’ In the expression: f x x - In an equation for `g': g x = f x x + In an equation for ‛g’: g x = f x x |