19 files changed, 101 insertions, 100 deletions
diff --git a/testsuite/tests/parser/should_compile/T2245.stderr b/testsuite/tests/parser/should_compile/T2245.stderr
index 527957a935..edfa53333b 100644
--- a/testsuite/tests/parser/should_compile/T2245.stderr
+++ b/testsuite/tests/parser/should_compile/T2245.stderr
@@ -1,34 +1,34 @@
 
-T2245.hs:4:10:
-    Warning: No explicit method or default declaration for `+'
-    In the instance declaration for `Num T'
+T2245.hs:4:10: Warning:
+    No explicit method or default declaration for ‛+’
+    In the instance declaration for ‛Num T’
 
-T2245.hs:4:10:
-    Warning: No explicit method or default declaration for `*'
-    In the instance declaration for `Num T'
+T2245.hs:4:10: Warning:
+    No explicit method or default declaration for ‛*’
+    In the instance declaration for ‛Num T’
 
-T2245.hs:4:10:
-    Warning: No explicit method or default declaration for `abs'
-    In the instance declaration for `Num T'
+T2245.hs:4:10: Warning:
+    No explicit method or default declaration for ‛abs’
+    In the instance declaration for ‛Num T’
 
-T2245.hs:4:10:
-    Warning: No explicit method or default declaration for `signum'
-    In the instance declaration for `Num T'
+T2245.hs:4:10: Warning:
+    No explicit method or default declaration for ‛signum’
+    In the instance declaration for ‛Num T’
 
-T2245.hs:4:10:
-    Warning: No explicit method or default declaration for `fromInteger'
-    In the instance declaration for `Num T'
+T2245.hs:4:10: Warning:
+    No explicit method or default declaration for ‛fromInteger’
+    In the instance declaration for ‛Num T’
 
-T2245.hs:5:10:
-    Warning: No explicit method or default declaration for `fromRational'
-    In the instance declaration for `Fractional T'
+T2245.hs:5:10: Warning:
+    No explicit method or default declaration for ‛fromRational’
+    In the instance declaration for ‛Fractional T’
 
-T2245.hs:7:29:
-    Warning: Defaulting the following constraint(s) to type `T'
-               (Fractional b0)
-                 arising from the literal `1e400' at T2245.hs:7:29-33
-               (Ord b0) arising from a use of `<' at T2245.hs:7:27
-               (Read b0) arising from a use of `read' at T2245.hs:7:38-41
-    In the second argument of `(<)', namely `1e400'
-    In the first argument of `(.)', namely `(< 1e400)'
-    In the second argument of `(.)', namely `(< 1e400) . read'
+T2245.hs:7:29: Warning:
+    Defaulting the following constraint(s) to type ‛T’
+      (Fractional b0)
+        arising from the literal ‛1e400’ at T2245.hs:7:29-33
+      (Ord b0) arising from a use of ‛<’ at T2245.hs:7:27
+      (Read b0) arising from a use of ‛read’ at T2245.hs:7:38-41
+    In the second argument of ‛(<)’, namely ‛1e400’
+    In the first argument of ‛(.)’, namely ‛(< 1e400)’
+    In the second argument of ‛(.)’, namely ‛(< 1e400) . read’
diff --git a/testsuite/tests/parser/should_compile/T3303.stderr b/testsuite/tests/parser/should_compile/T3303.stderr
index c2ae0c60f9..685448f2cc 100644
--- a/testsuite/tests/parser/should_compile/T3303.stderr
+++ b/testsuite/tests/parser/should_compile/T3303.stderr
@@ -1,6 +1,6 @@
 
 T3303.hs:7:7: Warning:
-    In the use of `foo' (imported from T3303A):
+    In the use of ‛foo’ (imported from T3303A):
     Deprecated: "This is a multi-line
                  deprecation message
                  for foo"
diff --git a/testsuite/tests/parser/should_compile/read014.stderr-ghc b/testsuite/tests/parser/should_compile/read014.stderr-ghc
index b1d9b81256..9b49aaf560 100644
--- a/testsuite/tests/parser/should_compile/read014.stderr-ghc
+++ b/testsuite/tests/parser/should_compile/read014.stderr-ghc
@@ -1,28 +1,28 @@
 
-read014.hs:4:1:
-    Warning: Top-level binding with no type signature:
-               ng1 :: forall t a. Num a => t -> a -> a
+read014.hs:4:1: Warning:
+    Top-level binding with no type signature:
+      ng1 :: forall t a. Num a => t -> a -> a
 
-read014.hs:4:5: Warning: Defined but not used: `x'
+read014.hs:4:5: Warning: Defined but not used: ‛x’
 
-read014.hs:6:10:
-    Warning: No explicit method or default declaration for `+'
-    In the instance declaration for `Num (a, b)'
+read014.hs:6:10: Warning:
+    No explicit method or default declaration for ‛+’
+    In the instance declaration for ‛Num (a, b)’
 
-read014.hs:6:10:
-    Warning: No explicit method or default declaration for `*'
-    In the instance declaration for `Num (a, b)'
+read014.hs:6:10: Warning:
+    No explicit method or default declaration for ‛*’
+    In the instance declaration for ‛Num (a, b)’
 
-read014.hs:6:10:
-    Warning: No explicit method or default declaration for `abs'
-    In the instance declaration for `Num (a, b)'
+read014.hs:6:10: Warning:
+    No explicit method or default declaration for ‛abs’
+    In the instance declaration for ‛Num (a, b)’
 
-read014.hs:6:10:
-    Warning: No explicit method or default declaration for `signum'
-    In the instance declaration for `Num (a, b)'
+read014.hs:6:10: Warning:
+    No explicit method or default declaration for ‛signum’
+    In the instance declaration for ‛Num (a, b)’
 
-read014.hs:6:10:
-    Warning: No explicit method or default declaration for `fromInteger'
-    In the instance declaration for `Num (a, b)'
+read014.hs:6:10: Warning:
+    No explicit method or default declaration for ‛fromInteger’
+    In the instance declaration for ‛Num (a, b)’
 
-read014.hs:8:53: Warning: Defined but not used: `x'
+read014.hs:8:53: Warning: Defined but not used: ‛x’
diff --git a/testsuite/tests/parser/should_fail/T3811d.stderr b/testsuite/tests/parser/should_fail/T3811d.stderr
index 28d08548c1..ddffea00f8 100644
--- a/testsuite/tests/parser/should_fail/T3811d.stderr
+++ b/testsuite/tests/parser/should_fail/T3811d.stderr
@@ -1,4 +1,4 @@
-
-T3811d.hs:6:11:
-    Unexpected type `D Char' where type variable expected
-    In the declaration of `C b (D Char) b'
+
+T3811d.hs:6:11:
+    Unexpected type ‛D Char’ where type variable expected
+    In the declaration of ‛C b (D Char) b’
diff --git a/testsuite/tests/parser/should_fail/readFail001.stderr b/testsuite/tests/parser/should_fail/readFail001.stderr
index f146ae5625..aba4ec239d 100644
--- a/testsuite/tests/parser/should_fail/readFail001.stderr
+++ b/testsuite/tests/parser/should_fail/readFail001.stderr
@@ -1,26 +1,26 @@
 
 readFail001.hs:25:11:
-    The fixity signature for `+#' lacks an accompanying binding
+    The fixity signature for ‛+#’ lacks an accompanying binding
 
 readFail001.hs:38:32:
-    Not in scope: type constructor or class `Leaf'
+    Not in scope: type constructor or class ‛Leaf’
     A data constructor of that name is in scope; did you mean -XDataKinds?
 
 readFail001.hs:38:41:
-    Not in scope: type constructor or class `Leaf'
+    Not in scope: type constructor or class ‛Leaf’
     A data constructor of that name is in scope; did you mean -XDataKinds?
 
-readFail001.hs:87:11: Not in scope: `x'
+readFail001.hs:87:11: Not in scope: ‛x’
 
-readFail001.hs:88:19: Not in scope: `x'
+readFail001.hs:88:19: Not in scope: ‛x’
 
-readFail001.hs:94:19: Not in scope: `isSpace'
+readFail001.hs:94:19: Not in scope: ‛isSpace’
 
-readFail001.hs:95:13: Not in scope: `foo'
+readFail001.hs:95:13: Not in scope: ‛foo’
 
-readFail001.hs:107:30: Not in scope: data constructor `Foo'
+readFail001.hs:107:30: Not in scope: data constructor ‛Foo’
 
-readFail001.hs:107:42: Not in scope: data constructor `Bar'
+readFail001.hs:107:42: Not in scope: data constructor ‛Bar’
 
 readFail001.hs:112:23:
-    Not in scope: type constructor or class `Foo'
+    Not in scope: type constructor or class ‛Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail008.stderr b/testsuite/tests/parser/should_fail/readFail008.stderr
index a40ce01da0..a2701740b0 100644
--- a/testsuite/tests/parser/should_fail/readFail008.stderr
+++ b/testsuite/tests/parser/should_fail/readFail008.stderr
@@ -1,6 +1,6 @@
 
 readFail008.hs:5:15:
     A newtype constructor cannot have a strictness annotation,
-      but `T' does
-    In the definition of data constructor `T'
-    In the newtype declaration for `N'
+      but ‛T’ does
+    In the definition of data constructor ‛T’
+    In the newtype declaration for ‛N’
diff --git a/testsuite/tests/parser/should_fail/readFail016.stderr b/testsuite/tests/parser/should_fail/readFail016.stderr
index 620d8505a2..87f3d2c657 100644
--- a/testsuite/tests/parser/should_fail/readFail016.stderr
+++ b/testsuite/tests/parser/should_fail/readFail016.stderr
@@ -1,4 +1,4 @@
 
 readFail016.hs:7:1:
     Precedence parsing error
-        cannot mix `|-' [infix 6] and `:' [infixr 5] in the same infix expression
+        cannot mix ‛|-’ [infix 6] and ‛:’ [infixr 5] in the same infix expression
diff --git a/testsuite/tests/parser/should_fail/readFail021.stderr b/testsuite/tests/parser/should_fail/readFail021.stderr
index a3f5e7b3f0..ed55c0df7f 100644
--- a/testsuite/tests/parser/should_fail/readFail021.stderr
+++ b/testsuite/tests/parser/should_fail/readFail021.stderr
@@ -1,2 +1,3 @@
 
-readFail021.hs:1:1: The function `main' is not defined in module `Main'
+readFail021.hs:1:1:
+    The function ‛main’ is not defined in module ‛Main’
diff --git a/testsuite/tests/parser/should_fail/readFail023.stderr b/testsuite/tests/parser/should_fail/readFail023.stderr
index e1b6ceb83c..c31dc4e993 100644
--- a/testsuite/tests/parser/should_fail/readFail023.stderr
+++ b/testsuite/tests/parser/should_fail/readFail023.stderr
@@ -1,6 +1,6 @@
 
 readFail023.hs:9:5:
-    The operator `**' [infixl 7] of a section
+    The operator ‛**’ [infixl 7] of a section
         must have lower precedence than that of the operand,
           namely prefix `-' [infixl 6]
-        in the section: `- 3 **'
+        in the section: ‛- 3 **’
diff --git a/testsuite/tests/parser/should_fail/readFail025.stderr b/testsuite/tests/parser/should_fail/readFail025.stderr
index 24e83e712a..0d74f86338 100644
--- a/testsuite/tests/parser/should_fail/readFail025.stderr
+++ b/testsuite/tests/parser/should_fail/readFail025.stderr
@@ -1,4 +1,4 @@
-
-readFail025.hs:5:8:
-    Unexpected type `String' where type variable expected
-    In the declaration of `T String'
+
+readFail025.hs:5:8:
+    Unexpected type ‛String’ where type variable expected
+    In the declaration of ‛T String’
diff --git a/testsuite/tests/parser/should_fail/readFail035.stderr b/testsuite/tests/parser/should_fail/readFail035.stderr
index f0489b45eb..9e3a64a06c 100644
--- a/testsuite/tests/parser/should_fail/readFail035.stderr
+++ b/testsuite/tests/parser/should_fail/readFail035.stderr
@@ -1,4 +1,4 @@
-
-readFail035.hs:6:1:
-    `Foo' has no constructors (-XEmptyDataDecls permits this)
-    In the data declaration for `Foo'
+
+readFail035.hs:6:1:
+    ‛Foo’ has no constructors (-XEmptyDataDecls permits this)
+    In the data declaration for ‛Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail036.stderr b/testsuite/tests/parser/should_fail/readFail036.stderr
index 088f0a9975..9360e6242f 100644
--- a/testsuite/tests/parser/should_fail/readFail036.stderr
+++ b/testsuite/tests/parser/should_fail/readFail036.stderr
@@ -1,5 +1,5 @@
 
 readFail036.hs:4:16:
-    Illegal kind signature: `*'
+    Illegal kind signature: ‛*’
       Perhaps you intended to use -XKindSignatures
-    In the data type declaration for `Foo'
+    In the data type declaration for ‛Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail037.stderr b/testsuite/tests/parser/should_fail/readFail037.stderr
index 4c900d66b1..a9c9ff7ad0 100644
--- a/testsuite/tests/parser/should_fail/readFail037.stderr
+++ b/testsuite/tests/parser/should_fail/readFail037.stderr
@@ -1,5 +1,5 @@
 
 readFail037.hs:4:1:
-    Too many parameters for class `Foo'
+    Too many parameters for class ‛Foo’
     (Use -XMultiParamTypeClasses to allow multi-parameter classes)
-    In the class declaration for `Foo'
+    In the class declaration for ‛Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail039.stderr b/testsuite/tests/parser/should_fail/readFail039.stderr
index 1c7cb6b975..d0e27526fc 100644
--- a/testsuite/tests/parser/should_fail/readFail039.stderr
+++ b/testsuite/tests/parser/should_fail/readFail039.stderr
@@ -1,6 +1,6 @@
-
-readFail039.hs:8:14:
-    Can't make a derived instance of `C Foo':
-      `C' is not a derivable class
-      Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the newtype declaration for `Foo'
+
+readFail039.hs:8:14:
+    Can't make a derived instance of ‛C Foo’:
+      ‛C’ is not a derivable class
+      Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+    In the newtype declaration for ‛Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail041.stderr b/testsuite/tests/parser/should_fail/readFail041.stderr
index fbe49b1153..14903b5b28 100644
--- a/testsuite/tests/parser/should_fail/readFail041.stderr
+++ b/testsuite/tests/parser/should_fail/readFail041.stderr
@@ -1,5 +1,5 @@
 
 readFail041.hs:6:1:
-    Fundeps in class `Foo'
+    Fundeps in class ‛Foo’
     (Use -XFunctionalDependencies to allow fundeps)
-    In the class declaration for `Foo'
+    In the class declaration for ‛Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail042.stderr b/testsuite/tests/parser/should_fail/readFail042.stderr
index 8fbb9bf1f7..9941cb633c 100644
--- a/testsuite/tests/parser/should_fail/readFail042.stderr
+++ b/testsuite/tests/parser/should_fail/readFail042.stderr
@@ -7,6 +7,6 @@ readFail042.hs:11:9:
     Unexpected transform statement in a list comprehension
     Use -XTransformListComp
 
-readFail042.hs:11:23: Not in scope: `by'
+readFail042.hs:11:23: Not in scope: ‛by’
 
-readFail042.hs:11:26: Not in scope: `x'
+readFail042.hs:11:26: Not in scope: ‛x’
diff --git a/testsuite/tests/parser/should_fail/readFail043.stderr b/testsuite/tests/parser/should_fail/readFail043.stderr
index b132bef957..72981ed3f8 100644
--- a/testsuite/tests/parser/should_fail/readFail043.stderr
+++ b/testsuite/tests/parser/should_fail/readFail043.stderr
@@ -3,24 +3,24 @@ readFail043.hs:10:9:
     Unexpected transform statement in a list comprehension
     Use -XTransformListComp
 
-readFail043.hs:10:20: Not in scope: `by'
+readFail043.hs:10:20: Not in scope: ‛by’
 
-readFail043.hs:10:23: Not in scope: `x'
+readFail043.hs:10:23: Not in scope: ‛x’
 
-readFail043.hs:10:25: Not in scope: `using'
+readFail043.hs:10:25: Not in scope: ‛using’
 
 readFail043.hs:11:9:
     Unexpected transform statement in a list comprehension
     Use -XTransformListComp
 
-readFail043.hs:11:20: Not in scope: `by'
+readFail043.hs:11:20: Not in scope: ‛by’
 
-readFail043.hs:11:23: Not in scope: `x'
+readFail043.hs:11:23: Not in scope: ‛x’
 
-readFail043.hs:11:25: Not in scope: `using'
+readFail043.hs:11:25: Not in scope: ‛using’
 
 readFail043.hs:12:9:
     Unexpected transform statement in a list comprehension
     Use -XTransformListComp
 
-readFail043.hs:12:20: Not in scope: `using'
+readFail043.hs:12:20: Not in scope: ‛using’
diff --git a/testsuite/tests/parser/should_fail/readFail046.stderr b/testsuite/tests/parser/should_fail/readFail046.stderr
index a303d7798e..072fe530f9 100644
--- a/testsuite/tests/parser/should_fail/readFail046.stderr
+++ b/testsuite/tests/parser/should_fail/readFail046.stderr
@@ -1,4 +1,4 @@
 
 readFail046.hs:1:14:
     Unsupported extension: ExistientialQuantification
-    Perhaps you meant `ExistentialQuantification' or `NoExistentialQuantification'
+    Perhaps you meant ‛ExistentialQuantification’ or ‛NoExistentialQuantification’
diff --git a/testsuite/tests/parser/unicode/T2302.stderr b/testsuite/tests/parser/unicode/T2302.stderr
index 9718423be2..0557a731db 100644
--- a/testsuite/tests/parser/unicode/T2302.stderr
+++ b/testsuite/tests/parser/unicode/T2302.stderr
@@ -1,2 +1,2 @@
 
-T2302.hs:1:5: Not in scope: data constructor `À'
+T2302.hs:1:5: Not in scope: data constructor ‛À’