Update outputs following the unicode quote change in GHC's output

22 files changed, 154 insertions, 154 deletions

diff --git a/testsuite/tests/deriving/should_compile/drv021.stderr b/testsuite/tests/deriving/should_compile/drv021.stderr
index 8143dfee6c..2071183c53 100644
--- a/testsuite/tests/deriving/should_compile/drv021.stderr
+++ b/testsuite/tests/deriving/should_compile/drv021.stderr
@@ -1,13 +1,13 @@
 
 drv021.hs:9:1: Warning:
-    Module `Data.OldTypeable' is deprecated: Use Data.Typeable instead
+    Module ‛Data.OldTypeable’ is deprecated: Use Data.Typeable instead
 
 drv021.hs:14:19: Warning:
-    In the use of type constructor or class `Typeable1'
+    In the use of type constructor or class ‛Typeable1’
     (imported from Data.OldTypeable, but defined in Data.OldTypeable.Internal):
     Deprecated: "Use Data.Typeable.Internal instead"
 
 drv021.hs:15:19: Warning:
-    In the use of type constructor or class `Typeable2'
+    In the use of type constructor or class ‛Typeable2’
     (imported from Data.OldTypeable, but defined in Data.OldTypeable.Internal):
     Deprecated: "Use Data.Typeable.Internal instead"
diff --git a/testsuite/tests/deriving/should_fail/T1133A.stderr b/testsuite/tests/deriving/should_fail/T1133A.stderr
index 734081ede5..c1830b143e 100644
--- a/testsuite/tests/deriving/should_fail/T1133A.stderr
+++ b/testsuite/tests/deriving/should_fail/T1133A.stderr
@@ -1,7 +1,7 @@
 
 T1133A.hs:6:28:
-    Can't make a derived instance of `Enum X':
-      `X' must be an enumeration type
+    Can't make a derived instance of ‛Enum X’:
+      ‛X’ must be an enumeration type
       (an enumeration consists of one or more nullary, non-GADT constructors)
       Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the newtype declaration for `X'
+    In the newtype declaration for ‛X’
diff --git a/testsuite/tests/deriving/should_fail/T2394.stderr b/testsuite/tests/deriving/should_fail/T2394.stderr
index 9972186ed5..f8ccbda848 100644
--- a/testsuite/tests/deriving/should_fail/T2394.stderr
+++ b/testsuite/tests/deriving/should_fail/T2394.stderr
@@ -1,6 +1,6 @@
-

-T2394.hs:9:1:

-    Can't make a derived instance of `Data (a -> b)':

-      The last argument of the instance must be a data or newtype application

-    In the stand-alone deriving instance for

-      `(Data a, Data b) => Data (a -> b)'

+
+T2394.hs:9:1:
+    Can't make a derived instance of ‛Data (a -> b)’:
+      The last argument of the instance must be a data or newtype application
+    In the stand-alone deriving instance for
+      ‛(Data a, Data b) => Data (a -> b)’
diff --git a/testsuite/tests/deriving/should_fail/T2604.stderr b/testsuite/tests/deriving/should_fail/T2604.stderr
index 8fe5ffff52..fc5320030f 100644
--- a/testsuite/tests/deriving/should_fail/T2604.stderr
+++ b/testsuite/tests/deriving/should_fail/T2604.stderr
@@ -1,10 +1,10 @@
-

-T2604.hs:7:35:

-    Can't make a derived instance of `Typeable * (DList a)':

-      You need -XDeriveDataTypeable to derive an instance for this class

-    In the data declaration for `DList'

-

-T2604.hs:9:38:

-    Can't make a derived instance of `Typeable * (NList a)':

-      You need -XDeriveDataTypeable to derive an instance for this class

-    In the newtype declaration for `NList'

+
+T2604.hs:7:35:
+    Can't make a derived instance of ‛Typeable * (DList a)’:
+      You need -XDeriveDataTypeable to derive an instance for this class
+    In the data declaration for ‛DList’
+
+T2604.hs:9:38:
+    Can't make a derived instance of ‛Typeable * (NList a)’:
+      You need -XDeriveDataTypeable to derive an instance for this class
+    In the newtype declaration for ‛NList’
diff --git a/testsuite/tests/deriving/should_fail/T2701.stderr b/testsuite/tests/deriving/should_fail/T2701.stderr
index 150add58c6..722c0c12bf 100644
--- a/testsuite/tests/deriving/should_fail/T2701.stderr
+++ b/testsuite/tests/deriving/should_fail/T2701.stderr
@@ -1,5 +1,5 @@
-

-T2701.hs:10:32:

-    Can't make a derived instance of `Data Foo':

-      Don't know how to derive `Data' for type `Int#'

-    In the data declaration for `Foo'

+
+T2701.hs:10:32:
+    Can't make a derived instance of ‛Data Foo’:
+      Don't know how to derive ‛Data’ for type ‛Int#’
+    In the data declaration for ‛Foo’
diff --git a/testsuite/tests/deriving/should_fail/T2721.stderr b/testsuite/tests/deriving/should_fail/T2721.stderr
index 03339d3bfa..64e93c3d12 100644
--- a/testsuite/tests/deriving/should_fail/T2721.stderr
+++ b/testsuite/tests/deriving/should_fail/T2721.stderr
@@ -1,6 +1,6 @@
-

-T2721.hs:15:28:

-    Can't make a derived instance of `C N'

-      (even with cunning newtype deriving):

-      the class has associated types

-    In the newtype declaration for `N'

+
+T2721.hs:15:28:
+    Can't make a derived instance of ‛C N’
+      (even with cunning newtype deriving):
+      the class has associated types
+    In the newtype declaration for ‛N’
diff --git a/testsuite/tests/deriving/should_fail/T3101.stderr b/testsuite/tests/deriving/should_fail/T3101.stderr
index b491759381..b07e2570af 100644
--- a/testsuite/tests/deriving/should_fail/T3101.stderr
+++ b/testsuite/tests/deriving/should_fail/T3101.stderr
@@ -1,6 +1,6 @@
-

-T3101.hs:9:12:

-    Can't make a derived instance of `Show Boom':

-      Constructor `Boom' must have a Haskell-98 type

-      Possible fix: use a standalone deriving declaration instead

-    In the data declaration for `Boom'

+
+T3101.hs:9:12:
+    Can't make a derived instance of ‛Show Boom’:
+      Constructor ‛Boom’ must have a Haskell-98 type
+      Possible fix: use a standalone deriving declaration instead
+    In the data declaration for ‛Boom’
diff --git a/testsuite/tests/deriving/should_fail/T3833.stderr b/testsuite/tests/deriving/should_fail/T3833.stderr
index 2d31cc1364..3221c355ba 100644
--- a/testsuite/tests/deriving/should_fail/T3833.stderr
+++ b/testsuite/tests/deriving/should_fail/T3833.stderr
@@ -1,6 +1,6 @@
 
 T3833.hs:9:1:
-    Can't make a derived instance of `Monoid (DecodeMap e)':
-      `Monoid' is not a derivable class
+    Can't make a derived instance of ‛Monoid (DecodeMap e)’:
+      ‛Monoid’ is not a derivable class
       Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the stand-alone deriving instance for `Monoid (DecodeMap e)'
+    In the stand-alone deriving instance for ‛Monoid (DecodeMap e)’
diff --git a/testsuite/tests/deriving/should_fail/T3834.stderr b/testsuite/tests/deriving/should_fail/T3834.stderr
index 199b4bb799..ba51c74d53 100644
--- a/testsuite/tests/deriving/should_fail/T3834.stderr
+++ b/testsuite/tests/deriving/should_fail/T3834.stderr
@@ -1,6 +1,6 @@
 
 T3834.hs:8:1:
-    Can't make a derived instance of `C T':
-      `C' is not a derivable class
+    Can't make a derived instance of ‛C T’:
+      ‛C’ is not a derivable class
       Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the stand-alone deriving instance for `C T'
+    In the stand-alone deriving instance for ‛C T’
diff --git a/testsuite/tests/deriving/should_fail/T4528.stderr b/testsuite/tests/deriving/should_fail/T4528.stderr
index 8f008e8908..1746239158 100644
--- a/testsuite/tests/deriving/should_fail/T4528.stderr
+++ b/testsuite/tests/deriving/should_fail/T4528.stderr
@@ -1,14 +1,14 @@
 
 T4528.hs:9:1:
-    Can't make a derived instance of `Enum (Foo a)':
-      `Foo' must be an enumeration type
+    Can't make a derived instance of ‛Enum (Foo a)’:
+      ‛Foo’ must be an enumeration type
       (an enumeration consists of one or more nullary, non-GADT constructors)
-    In the stand-alone deriving instance for `Enum (Foo a)'
+    In the stand-alone deriving instance for ‛Enum (Foo a)’
 
 T4528.hs:10:1:
-    Can't make a derived instance of `Bounded (Foo a)':
-      `Foo' must be an enumeration type
+    Can't make a derived instance of ‛Bounded (Foo a)’:
+      ‛Foo’ must be an enumeration type
       (an enumeration consists of one or more nullary, non-GADT constructors)
         or
-      `Foo' must have precisely one constructor
-    In the stand-alone deriving instance for `Bounded (Foo a)'
+      ‛Foo’ must have precisely one constructor
+    In the stand-alone deriving instance for ‛Bounded (Foo a)’
diff --git a/testsuite/tests/deriving/should_fail/T5287.stderr b/testsuite/tests/deriving/should_fail/T5287.stderr
index 9de62ef2fc..8bacf0634b 100644
--- a/testsuite/tests/deriving/should_fail/T5287.stderr
+++ b/testsuite/tests/deriving/should_fail/T5287.stderr
@@ -1,10 +1,10 @@
-

-T5287.hs:6:10:

-    Could not deduce (A a oops0)

-      arising from the ambiguity check for an instance declaration

-    from the context (A a oops)

-      bound by an instance declaration: A a oops => Read (D a)

-      at T5287.hs:6:10-31

-    The type variable `oops0' is ambiguous

-    In the ambiguity check for: forall a oops. A a oops => Read (D a)

-    In the instance declaration for `Read (D a)'

+
+T5287.hs:6:10:
+    Could not deduce (A a oops0)
+      arising from the ambiguity check for an instance declaration
+    from the context (A a oops)
+      bound by an instance declaration: A a oops => Read (D a)
+      at T5287.hs:6:10-31
+    The type variable ‛oops0’ is ambiguous
+    In the ambiguity check for: forall a oops. A a oops => Read (D a)
+    In the instance declaration for ‛Read (D a)’
diff --git a/testsuite/tests/deriving/should_fail/T5478.stderr b/testsuite/tests/deriving/should_fail/T5478.stderr
index a49b188da7..e3c968f62f 100644
--- a/testsuite/tests/deriving/should_fail/T5478.stderr
+++ b/testsuite/tests/deriving/should_fail/T5478.stderr
@@ -1,5 +1,5 @@
-

-T5478.hs:6:38:

-    Can't make a derived instance of `Show Foo':

-      Don't know how to derive `Show' for type `ByteArray#'

-    In the data declaration for `Foo'

+
+T5478.hs:6:38:
+    Can't make a derived instance of ‛Show Foo’:
+      Don't know how to derive ‛Show’ for type ‛ByteArray#’
+    In the data declaration for ‛Foo’
diff --git a/testsuite/tests/deriving/should_fail/T5686.stderr b/testsuite/tests/deriving/should_fail/T5686.stderr
index 27f998fe9d..0bffdf5697 100644
--- a/testsuite/tests/deriving/should_fail/T5686.stderr
+++ b/testsuite/tests/deriving/should_fail/T5686.stderr
@@ -1,5 +1,5 @@
-

-T5686.hs:4:29:

-    Can't make a derived instance of `Functor U':

-      Constructor `U' must use the type variable only as the last argument of a data type

-    In the data declaration for `U'

+
+T5686.hs:4:29:
+    Can't make a derived instance of ‛Functor U’:
+      Constructor ‛U’ must use the type variable only as the last argument of a data type
+    In the data declaration for ‛U’
diff --git a/testsuite/tests/deriving/should_fail/T5922.stderr b/testsuite/tests/deriving/should_fail/T5922.stderr
index 8b8de18d28..1b58511d95 100644
--- a/testsuite/tests/deriving/should_fail/T5922.stderr
+++ b/testsuite/tests/deriving/should_fail/T5922.stderr
@@ -1,4 +1,4 @@
-

-T5922.hs:3:42:

-    Illegal deriving item `show'

-    In the data declaration for `Proposition'

+
+T5922.hs:3:42:
+    Illegal deriving item ‛show’
+    In the data declaration for ‛Proposition’
diff --git a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr
index fa5633e786..e4c07b5220 100644
--- a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr
@@ -16,11 +16,11 @@ drvfail-foldable-traversable1.hs:13:22:
     When deriving the instance for (Traversable Trivial2)
 
 drvfail-foldable-traversable1.hs:17:22:
-    Can't make a derived instance of `Foldable Infinite':
-      Constructor `Infinite' must not contain function types
-    In the data declaration for `Infinite'
+    Can't make a derived instance of ‛Foldable Infinite’:
+      Constructor ‛Infinite’ must not contain function types
+    In the data declaration for ‛Infinite’
 
 drvfail-foldable-traversable1.hs:21:22:
-    Can't make a derived instance of `Traversable (Cont r)':
-      Constructor `Cont' must not contain function types
-    In the data declaration for `Cont'
+    Can't make a derived instance of ‛Traversable (Cont r)’:
+      Constructor ‛Cont’ must not contain function types
+    In the data declaration for ‛Cont’
diff --git a/testsuite/tests/deriving/should_fail/drvfail-functor1.stderr b/testsuite/tests/deriving/should_fail/drvfail-functor1.stderr
index 54632ba05e..ec0e79499a 100644
--- a/testsuite/tests/deriving/should_fail/drvfail-functor1.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail-functor1.stderr
@@ -1,5 +1,5 @@
-

-drvfail-functor1.hs:6:14:

-    Can't make a derived instance of `Functor List':

-      You need -XDeriveFunctor to derive an instance for this class

-    In the data declaration for `List'

+
+drvfail-functor1.hs:6:14:
+    Can't make a derived instance of ‛Functor List’:
+      You need -XDeriveFunctor to derive an instance for this class
+    In the data declaration for ‛List’
diff --git a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr
index 54dc6f7019..8691b38719 100644
--- a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr
@@ -3,24 +3,24 @@ drvfail-functor2.hs:1:29: Warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
 drvfail-functor2.hs:7:14:
-    Can't make a derived instance of `Functor InFunctionArgument':
-      Constructor `InFunctionArgument' must not use the type variable in a function argument
-    In the newtype declaration for `InFunctionArgument'
+    Can't make a derived instance of ‛Functor InFunctionArgument’:
+      Constructor ‛InFunctionArgument’ must not use the type variable in a function argument
+    In the newtype declaration for ‛InFunctionArgument’
 
 drvfail-functor2.hs:10:14:
-    Can't make a derived instance of `Functor OnSecondArg':
-      Constructor `OnSecondArg' must use the type variable only as the last argument of a data type
-    In the newtype declaration for `OnSecondArg'
+    Can't make a derived instance of ‛Functor OnSecondArg’:
+      Constructor ‛OnSecondArg’ must use the type variable only as the last argument of a data type
+    In the newtype declaration for ‛OnSecondArg’
 
 drvfail-functor2.hs:15:14:
-    Cannot derive well-kinded instance of form `Functor (NoArguments ...)'
-      Class `Functor' expects an argument of kind `* -> *'
-    In the newtype declaration for `NoArguments'
+    Cannot derive well-kinded instance of form ‛Functor (NoArguments ...)’
+      Class ‛Functor’ expects an argument of kind ‛* -> *’
+    In the newtype declaration for ‛NoArguments’
 
 drvfail-functor2.hs:20:14:
-    Can't make a derived instance of `Functor StupidConstraint':
-      Data type `StupidConstraint' must not have a class context (Eq a)
-    In the data declaration for `StupidConstraint'
+    Can't make a derived instance of ‛Functor StupidConstraint’:
+      Data type ‛StupidConstraint’ must not have a class context (Eq a)
+    In the data declaration for ‛StupidConstraint’
 
 drvfail-functor2.hs:26:14:
     No instance for (Functor NoFunctor)
diff --git a/testsuite/tests/deriving/should_fail/drvfail005.stderr b/testsuite/tests/deriving/should_fail/drvfail005.stderr
index 327eb7c3ce..c77f904dc2 100644
--- a/testsuite/tests/deriving/should_fail/drvfail005.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail005.stderr
@@ -1,5 +1,5 @@
-

-drvfail005.hs:4:13:

-    Can't make a derived instance of `Show a (Test a)':

-      `Show a' is not a class

-    In the data declaration for `Test'

+
+drvfail005.hs:4:13:
+    Can't make a derived instance of ‛Show a (Test a)’:
+      ‛Show a’ is not a class
+    In the data declaration for ‛Test’
diff --git a/testsuite/tests/deriving/should_fail/drvfail009.stderr b/testsuite/tests/deriving/should_fail/drvfail009.stderr
index 7594baef39..d9592c4669 100644
--- a/testsuite/tests/deriving/should_fail/drvfail009.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail009.stderr
@@ -1,23 +1,23 @@
-

-drvfail009.hs:10:31:

-    Can't make a derived instance of `C T1'

-      (even with cunning newtype deriving):

-      `C' does not have arity 1

-    In the newtype declaration for `T1'

-

-drvfail009.hs:13:31:

-    Cannot derive well-kinded instance of form `Monad (T2 ...)'

-      Class `Monad' expects an argument of kind `* -> *'

-    In the newtype declaration for `T2'

-

-drvfail009.hs:16:33:

-    Can't make a derived instance of `Monad T3'

-      (even with cunning newtype deriving):

-      cannot eta-reduce the representation type enough

-    In the newtype declaration for `T3'

-

-drvfail009.hs:19:42:

-    Can't make a derived instance of `Monad T4'

-      (even with cunning newtype deriving):

-      cannot eta-reduce the representation type enough

-    In the newtype declaration for `T4'

+
+drvfail009.hs:10:31:
+    Can't make a derived instance of ‛C T1’
+      (even with cunning newtype deriving):
+      ‛C’ does not have arity 1
+    In the newtype declaration for ‛T1’
+
+drvfail009.hs:13:31:
+    Cannot derive well-kinded instance of form ‛Monad (T2 ...)’
+      Class ‛Monad’ expects an argument of kind ‛* -> *’
+    In the newtype declaration for ‛T2’
+
+drvfail009.hs:16:33:
+    Can't make a derived instance of ‛Monad T3’
+      (even with cunning newtype deriving):
+      cannot eta-reduce the representation type enough
+    In the newtype declaration for ‛T3’
+
+drvfail009.hs:19:42:
+    Can't make a derived instance of ‛Monad T4’
+      (even with cunning newtype deriving):
+      cannot eta-reduce the representation type enough
+    In the newtype declaration for ‛T4’
diff --git a/testsuite/tests/deriving/should_fail/drvfail011.stderr b/testsuite/tests/deriving/should_fail/drvfail011.stderr
index 9bb04bfde7..6ec1df7a03 100644
--- a/testsuite/tests/deriving/should_fail/drvfail011.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail011.stderr
@@ -1,10 +1,10 @@
 
 drvfail011.hs:8:1:
-    No instance for (Eq a) arising from a use of `=='
+    No instance for (Eq a) arising from a use of ‛==’
     Possible fix: add (Eq a) to the context of the instance declaration
     In the expression: ((a1 == b1))
-    In an equation for `==': == (T1 a1) (T1 b1) = ((a1 == b1))
-    When typechecking the code for  `=='
-      in a standalone derived instance for `Eq (T a)':
+    In an equation for ‛==’: == (T1 a1) (T1 b1) = ((a1 == b1))
+    When typechecking the code for  ‛==’
+      in a standalone derived instance for ‛Eq (T a)’:
       To see the code I am typechecking, use -ddump-deriv
-    In the instance declaration for `Eq (T a)'
+    In the instance declaration for ‛Eq (T a)’
diff --git a/testsuite/tests/deriving/should_fail/drvfail014.stderr b/testsuite/tests/deriving/should_fail/drvfail014.stderr
index 47b4aabf4b..93a4c78122 100644
--- a/testsuite/tests/deriving/should_fail/drvfail014.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail014.stderr
@@ -1,9 +1,9 @@
-

-drvfail014.hs:8:28:

-    Use deriving( Typeable ) on a data type declaration

-    In the data declaration for `T1'

-

-drvfail014.hs:12:1:

-    Derived typeable instance must be of form (Typeable2 T2)

-    In the stand-alone deriving instance for

-      `(Typeable a, Typeable b) => Typeable (T2 a b)'

+
+drvfail014.hs:8:28:
+    Use deriving( Typeable ) on a data type declaration
+    In the data declaration for ‛T1’
+
+drvfail014.hs:12:1:
+    Derived typeable instance must be of form (Typeable2 T2)
+    In the stand-alone deriving instance for
+      ‛(Typeable a, Typeable b) => Typeable (T2 a b)’
diff --git a/testsuite/tests/deriving/should_fail/drvfail015.stderr b/testsuite/tests/deriving/should_fail/drvfail015.stderr
index a7d8ac6cf1..7a755c697f 100644
--- a/testsuite/tests/deriving/should_fail/drvfail015.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail015.stderr
@@ -1,13 +1,13 @@
-

-drvfail015.hs:10:19:

-    Illegal instance declaration for `Eq T'

-      (All instance types must be of the form (T t1 ... tn)

-       where T is not a synonym.

-       Use -XTypeSynonymInstances if you want to disable this.)

-    In the stand-alone deriving instance for `Eq T'

-

-drvfail015.hs:13:1:

-    Can't make a derived instance of `Eq Handle':

-      The data constructors of `Handle' are not all in scope

-        so you cannot derive an instance for it

-    In the stand-alone deriving instance for `Eq Handle'

+
+drvfail015.hs:10:19:
+    Illegal instance declaration for ‛Eq T’
+      (All instance types must be of the form (T t1 ... tn)
+       where T is not a synonym.
+       Use -XTypeSynonymInstances if you want to disable this.)
+    In the stand-alone deriving instance for ‛Eq T’
+
+drvfail015.hs:13:1:
+    Can't make a derived instance of ‛Eq Handle’:
+      The data constructors of ‛Handle’ are not all in scope
+        so you cannot derive an instance for it
+    In the stand-alone deriving instance for ‛Eq Handle’