summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/FD1.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/FD1.stderr')
-rw-r--r--testsuite/tests/typecheck/should_compile/FD1.stderr6
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD1.stderr b/testsuite/tests/typecheck/should_compile/FD1.stderr
index fdeb30e42d..5fa16fdf15 100644
--- a/testsuite/tests/typecheck/should_compile/FD1.stderr
+++ b/testsuite/tests/typecheck/should_compile/FD1.stderr
@@ -5,9 +5,9 @@ FD1.hs:16:1:
bound by the type signature for
plus :: E a (Int -> Int) => Int -> a
at FD1.hs:15:9-38
- `a' is a rigid type variable bound by
+ ‛a’ is a rigid type variable bound by
the type signature for plus :: E a (Int -> Int) => Int -> a
at FD1.hs:15:9
Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1)
- The equation(s) for `plus' have two arguments,
- but its type `Int -> a' has only one
+ The equation(s) for ‛plus’ have two arguments,
+ but its type ‛Int -> a’ has only one