summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2014-02-23 22:00:57 +0100
committerHerbert Valerio Riedel <hvr@gnu.org>2014-02-25 11:06:51 +0100
commit018676c7f883886b388652c913c99a10d2591b0b (patch)
treeddeb1cd21f74b21f12b1d1ddbc26abb934136587 /testsuite/tests/roles
parentede5b5180c2a5db3f51b01dbef402d21ace9601c (diff)
downloadhaskell-018676c7f883886b388652c913c99a10d2591b0b.tar.gz
Use U+2018 instead of U+201B quote mark in compiler messages
This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019) and therefore looks more familiar on the console. This addresses #2507. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Diffstat (limited to 'testsuite/tests/roles')
-rw-r--r--testsuite/tests/roles/should_fail/Roles10.stderr8
-rw-r--r--testsuite/tests/roles/should_fail/Roles11.stderr2
-rw-r--r--testsuite/tests/roles/should_fail/Roles12.stderr2
-rw-r--r--testsuite/tests/roles/should_fail/Roles5.stderr4
-rw-r--r--testsuite/tests/roles/should_fail/Roles6.stderr2
-rw-r--r--testsuite/tests/roles/should_fail/Roles7.stderr4
-rw-r--r--testsuite/tests/roles/should_fail/Roles8.stderr4
-rw-r--r--testsuite/tests/roles/should_fail/Roles9.stderr6
-rw-r--r--testsuite/tests/roles/should_fail/T8773.stderr4
9 files changed, 18 insertions, 18 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles10.stderr b/testsuite/tests/roles/should_fail/Roles10.stderr
index 1c636580b9..2102298269 100644
--- a/testsuite/tests/roles/should_fail/Roles10.stderr
+++ b/testsuite/tests/roles/should_fail/Roles10.stderr
@@ -1,9 +1,9 @@
Roles10.hs:16:12:
- Could not coerce from ‛Bool’ to ‛Char’
- because ‛Bool’ and ‛Char’ are different types.
- arising from the coercion of the method ‛meth’ from type
- ‛Int -> F Int’ to type ‛Age -> F Age’
+ Could not coerce from ‘Bool’ to ‘Char’
+ because ‘Bool’ and ‘Char’ are different types.
+ arising from the coercion of the method ‘meth’ from type
+ ‘Int -> F Int’ to type ‘Age -> F Age’
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
diff --git a/testsuite/tests/roles/should_fail/Roles11.stderr b/testsuite/tests/roles/should_fail/Roles11.stderr
index 55ef3bdd5b..1fa09997c5 100644
--- a/testsuite/tests/roles/should_fail/Roles11.stderr
+++ b/testsuite/tests/roles/should_fail/Roles11.stderr
@@ -2,4 +2,4 @@
Roles11.hs:5:1:
Role mismatch on variable a:
Annotation says representational but role nominal is required
- while checking a role annotation for ‛T2’
+ while checking a role annotation for ‘T2’
diff --git a/testsuite/tests/roles/should_fail/Roles12.stderr b/testsuite/tests/roles/should_fail/Roles12.stderr
index fd986b66fc..bb830beae3 100644
--- a/testsuite/tests/roles/should_fail/Roles12.stderr
+++ b/testsuite/tests/roles/should_fail/Roles12.stderr
@@ -1,6 +1,6 @@
Roles12.hs:5:1:
- Type constructor ‛T’ has conflicting definitions in the module
+ Type constructor ‘T’ has conflicting definitions in the module
and its hs-boot file
Main module: type role T phantom
data T a
diff --git a/testsuite/tests/roles/should_fail/Roles5.stderr b/testsuite/tests/roles/should_fail/Roles5.stderr
index 20172ff260..cb79845a55 100644
--- a/testsuite/tests/roles/should_fail/Roles5.stderr
+++ b/testsuite/tests/roles/should_fail/Roles5.stderr
@@ -2,12 +2,12 @@
Roles5.hs:7:1:
Illegal role annotation for T;
did you intend to use RoleAnnotations?
- while checking a role annotation for ‛T’
+ while checking a role annotation for ‘T’
Roles5.hs:8:1:
Illegal role annotation for C;
did you intend to use RoleAnnotations?
- while checking a role annotation for ‛C’
+ while checking a role annotation for ‘C’
Roles5.hs:9:1:
Illegal role annotation for S;
diff --git a/testsuite/tests/roles/should_fail/Roles6.stderr b/testsuite/tests/roles/should_fail/Roles6.stderr
index 9f09ab3528..91bcce99c8 100644
--- a/testsuite/tests/roles/should_fail/Roles6.stderr
+++ b/testsuite/tests/roles/should_fail/Roles6.stderr
@@ -3,4 +3,4 @@ Roles6.hs:7:1:
Wrong number of roles listed in role annotation;
Expected 2, got 3:
type role Foo nominal representational phantom
- while checking a role annotation for ‛Foo’
+ while checking a role annotation for ‘Foo’
diff --git a/testsuite/tests/roles/should_fail/Roles7.stderr b/testsuite/tests/roles/should_fail/Roles7.stderr
index e4774f1aa8..ae62543e28 100644
--- a/testsuite/tests/roles/should_fail/Roles7.stderr
+++ b/testsuite/tests/roles/should_fail/Roles7.stderr
@@ -1,4 +1,4 @@
Roles7.hs:6:15:
- Illegal role name ‛repesentational’
- Perhaps you meant ‛representational’
+ Illegal role name ‘repesentational’
+ Perhaps you meant ‘representational’
diff --git a/testsuite/tests/roles/should_fail/Roles8.stderr b/testsuite/tests/roles/should_fail/Roles8.stderr
index 22f66f4667..5f21527942 100644
--- a/testsuite/tests/roles/should_fail/Roles8.stderr
+++ b/testsuite/tests/roles/should_fail/Roles8.stderr
@@ -1,10 +1,10 @@
Roles8.hs:7:1:
- Duplicate role annotations for ‛T1’:
+ Duplicate role annotations for ‘T1’:
type role T1 nominal -- written at Roles8.hs:7:1-20
type role T1 nominal -- written at Roles8.hs:8:1-20
Roles8.hs:12:1:
- Duplicate role annotations for ‛T2’:
+ Duplicate role annotations for ‘T2’:
type role T2 representational -- written at Roles8.hs:12:1-29
type role T2 phantom -- written at Roles8.hs:13:1-20
diff --git a/testsuite/tests/roles/should_fail/Roles9.stderr b/testsuite/tests/roles/should_fail/Roles9.stderr
index 0cd02f9b5f..e9f824b8ce 100644
--- a/testsuite/tests/roles/should_fail/Roles9.stderr
+++ b/testsuite/tests/roles/should_fail/Roles9.stderr
@@ -1,7 +1,7 @@
Roles9.hs:13:12:
- Can't make a derived instance of ‛C Age’
+ Can't make a derived instance of ‘C Age’
(even with cunning newtype deriving):
it is not type-safe to use GeneralizedNewtypeDeriving on this class;
- the last parameter of ‛C’ is at role Nominal
- In the newtype declaration for ‛Age’
+ the last parameter of ‘C’ is at role Nominal
+ In the newtype declaration for ‘Age’
diff --git a/testsuite/tests/roles/should_fail/T8773.stderr b/testsuite/tests/roles/should_fail/T8773.stderr
index 838d58793f..fac02f30d1 100644
--- a/testsuite/tests/roles/should_fail/T8773.stderr
+++ b/testsuite/tests/roles/should_fail/T8773.stderr
@@ -1,5 +1,5 @@
T8773.hs:5:1:
- Roles other than ‛nominal’ for class parameters can lead to incoherence.
+ Roles other than ‘nominal’ for class parameters can lead to incoherence.
Use IncoherentInstances to allow this; bad role found
- while checking a role annotation for ‛C2’
+ while checking a role annotation for ‘C2’