summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/Overlap15.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap15.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/Overlap15.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap15.stderr b/testsuite/tests/indexed-types/should_fail/Overlap15.stderr
index bafe63c61e..a24504caa4 100644
--- a/testsuite/tests/indexed-types/should_fail/Overlap15.stderr
+++ b/testsuite/tests/indexed-types/should_fail/Overlap15.stderr
@@ -1,7 +1,7 @@
Overlap15.hs:16:9:
- Couldn't match expected type ‛F b [b] Bool’ with actual type ‛Bool’
+ Couldn't match expected type ‘F b [b] Bool’ with actual type ‘Bool’
Relevant bindings include
foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
In the expression: False
- In an equation for ‛foo’: foo _ = False
+ In an equation for ‘foo’: foo _ = False