summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr8
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
index 1e50ae1c3c..0d663a6497 100644
--- a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
+++ b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
@@ -1,9 +1,9 @@
SimpleFail16.hs:10:12:
- Couldn't match expected type ‛p0 a0’ with actual type ‛F ()’
- The type variables ‛p0’, ‛a0’ are ambiguous
+ Couldn't match expected type ‘p0 a0’ with actual type ‘F ()’
+ The type variables ‘p0’, ‘a0’ are ambiguous
Relevant bindings include
bar :: p0 a0 (bound at SimpleFail16.hs:10:1)
- In the first argument of ‛foo’, namely ‛(undefined :: F ())’
+ In the first argument of ‘foo’, namely ‘(undefined :: F ())’
In the expression: foo (undefined :: F ())
- In an equation for ‛bar’: bar = foo (undefined :: F ())
+ In an equation for ‘bar’: bar = foo (undefined :: F ())