diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail143.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail143.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail143.stderr b/testsuite/tests/typecheck/should_fail/tcfail143.stderr index 846f8c0252..dadccbe781 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail143.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail143.stderr @@ -1,11 +1,11 @@ tcfail143.hs:29:9: - Couldn't match type `S Z' with `Z' + Couldn't match type ‛S Z’ with ‛Z’ When using functional dependencies to combine MinMax a Z Z a, - arising from the dependency `a b -> c d' + arising from the dependency ‛a b -> c d’ in the instance declaration at tcfail143.hs:11:10 MinMax (S Z) Z Z Z, - arising from a use of `extend' at tcfail143.hs:29:9-16 + arising from a use of ‛extend’ at tcfail143.hs:29:9-16 In the expression: n1 `extend` n0 - In an equation for `t2': t2 = n1 `extend` n0 + In an equation for ‛t2’: t2 = n1 `extend` n0 |