diff options
Diffstat (limited to 'testsuite/tests/deriving')
40 files changed, 153 insertions, 153 deletions
diff --git a/testsuite/tests/deriving/should_compile/T4966.stderr b/testsuite/tests/deriving/should_compile/T4966.stderr index f2e1d836dc..d5cc4a24b2 100644 --- a/testsuite/tests/deriving/should_compile/T4966.stderr +++ b/testsuite/tests/deriving/should_compile/T4966.stderr @@ -4,5 +4,5 @@ T4966.hs:1:14: Warning: T4966.hs:34:10: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (TreeListObject a)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (TreeListObject a)’ diff --git a/testsuite/tests/deriving/should_compile/deriving-1935.stderr b/testsuite/tests/deriving/should_compile/deriving-1935.stderr index 4772334b20..bf2c79cb7a 100644 --- a/testsuite/tests/deriving/should_compile/deriving-1935.stderr +++ b/testsuite/tests/deriving/should_compile/deriving-1935.stderr @@ -1,15 +1,15 @@ deriving-1935.hs:15:11: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (T a)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (T a)’ deriving-1935.hs:18:11: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (S a)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (S a)’ deriving-1935.hs:19:11: Warning: No explicit implementation for - either ‛compare’ or ‛<=’ - In the instance declaration for ‛Ord (S a)’ + either ‘compare’ or ‘<=’ + In the instance declaration for ‘Ord (S a)’ diff --git a/testsuite/tests/deriving/should_compile/drv003.stderr b/testsuite/tests/deriving/should_compile/drv003.stderr index 7f58e681cb..6d9819fee8 100644 --- a/testsuite/tests/deriving/should_compile/drv003.stderr +++ b/testsuite/tests/deriving/should_compile/drv003.stderr @@ -1,10 +1,10 @@ drv003.hs:12:10: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (Foo a)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (Foo a)’ drv003.hs:15:10: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (Bar b)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (Bar b)’ diff --git a/testsuite/tests/deriving/should_compile/drv021.stderr b/testsuite/tests/deriving/should_compile/drv021.stderr index 2071183c53..e64989c194 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 a17e684309..23b93409da 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 GeneralizedNewtypeDeriving 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/T1496.stderr b/testsuite/tests/deriving/should_fail/T1496.stderr index a18d3926e7..867d6c6842 100644 --- a/testsuite/tests/deriving/should_fail/T1496.stderr +++ b/testsuite/tests/deriving/should_fail/T1496.stderr @@ -1,10 +1,10 @@ T1496.hs:10:32: - Could not coerce from ‛c Int’ to ‛c Moo’ - because ‛c Int’ and ‛c Moo’ are different types. - arising from the coercion of the method ‛isInt’ from type - ‛forall (c :: * -> *). c Int -> c Int’ to type - ‛forall (c :: * -> *). c Int -> c Moo’ + Could not coerce from ‘c Int’ to ‘c Moo’ + because ‘c Int’ and ‘c Moo’ are different types. + arising from the coercion of the method ‘isInt’ from type + ‘forall (c :: * -> *). c Int -> c Int’ to type + ‘forall (c :: * -> *). c Int -> c Moo’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/T2394.stderr b/testsuite/tests/deriving/should_fail/T2394.stderr index f8ccbda848..93093658b1 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)’: + 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)’ + ‘(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 00262888da..1479a141fa 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’: + Can't make a derived instance of ‘Typeable DList’: You need DeriveDataTypeable to derive an instance for this class - In the data declaration for ‛DList’ + In the data declaration for ‘DList’ T2604.hs:9:38: - Can't make a derived instance of ‛Typeable NList’: + Can't make a derived instance of ‘Typeable NList’: You need DeriveDataTypeable to derive an instance for this class - In the newtype declaration for ‛NList’ + 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 722c0c12bf..ded9a09911 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’ + 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 64e93c3d12..908db94dbe 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’ + 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’ + In the newtype declaration for ‘N’ diff --git a/testsuite/tests/deriving/should_fail/T2851.stderr b/testsuite/tests/deriving/should_fail/T2851.stderr index c7a3bf59aa..780e16cbb7 100644 --- a/testsuite/tests/deriving/should_fail/T2851.stderr +++ b/testsuite/tests/deriving/should_fail/T2851.stderr @@ -1,7 +1,7 @@ T2851.hs:9:15: No instance for (Show (F a)) - arising from the first field of ‛D’ (type ‛F a’) + arising from the first field of ‘D’ (type ‘F a’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/T3101.stderr b/testsuite/tests/deriving/should_fail/T3101.stderr index b07e2570af..58069283dc 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 + 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’ + 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 3bfb85705c..4c6bf564ea 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 GeneralizedNewtypeDeriving 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 ddd67b2074..d732124454 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 GeneralizedNewtypeDeriving 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 1746239158..0b50737300 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/T4846.stderr b/testsuite/tests/deriving/should_fail/T4846.stderr index dde64de90f..6024165c25 100644 --- a/testsuite/tests/deriving/should_fail/T4846.stderr +++ b/testsuite/tests/deriving/should_fail/T4846.stderr @@ -1,14 +1,14 @@ T4846.hs:29:1: - Could not coerce from ‛Expr Bool’ to ‛Expr BOOL’ - because the first type argument of ‛Expr’ has role Nominal, - but the arguments ‛Bool’ and ‛BOOL’ differ - arising from a use of ‛GHC.Prim.coerce’ + Could not coerce from ‘Expr Bool’ to ‘Expr BOOL’ + because the first type argument of ‘Expr’ has role Nominal, + but the arguments ‘Bool’ and ‘BOOL’ differ + arising from a use of ‘GHC.Prim.coerce’ In the expression: GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL - In an equation for ‛mkExpr’: + In an equation for ‘mkExpr’: mkExpr = GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL - When typechecking the code for ‛mkExpr’ - in a standalone derived instance for ‛B BOOL’: + When typechecking the code for ‘mkExpr’ + in a standalone derived instance for ‘B BOOL’: To see the code I am typechecking, use -ddump-deriv - In the instance declaration for ‛B BOOL’ + In the instance declaration for ‘B BOOL’ diff --git a/testsuite/tests/deriving/should_fail/T5287.stderr b/testsuite/tests/deriving/should_fail/T5287.stderr index 2ad7ea0953..764c422dd1 100644 --- a/testsuite/tests/deriving/should_fail/T5287.stderr +++ b/testsuite/tests/deriving/should_fail/T5287.stderr @@ -5,7 +5,7 @@ T5287.hs:6:10: 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 + The type variable ‘oops0’ is ambiguous In the ambiguity check for: forall a oops. A a oops => Read (D a) To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the instance declaration for ‛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 e3c968f62f..6c194a3793 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’ + 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/T5498.stderr b/testsuite/tests/deriving/should_fail/T5498.stderr index 8adde63a98..b613eae368 100644 --- a/testsuite/tests/deriving/should_fail/T5498.stderr +++ b/testsuite/tests/deriving/should_fail/T5498.stderr @@ -1,10 +1,10 @@ T5498.hs:30:39: - Could not coerce from ‛c a’ to ‛c (Down a)’ - because ‛c a’ and ‛c (Down a)’ are different types. - arising from the coercion of the method ‛intIso’ from type - ‛forall (c :: * -> *). c a -> c Int’ to type - ‛forall (c :: * -> *). c (Down a) -> c Int’ + Could not coerce from ‘c a’ to ‘c (Down a)’ + because ‘c a’ and ‘c (Down a)’ are different types. + arising from the coercion of the method ‘intIso’ from type + ‘forall (c :: * -> *). c a -> c Int’ to type + ‘forall (c :: * -> *). c (Down a) -> c Int’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/T5686.stderr b/testsuite/tests/deriving/should_fail/T5686.stderr index 0bffdf5697..74f8dd88c7 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’ + 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/T5863a.stderr b/testsuite/tests/deriving/should_fail/T5863a.stderr index 434ed42eb8..1bd2c77ac7 100644 --- a/testsuite/tests/deriving/should_fail/T5863a.stderr +++ b/testsuite/tests/deriving/should_fail/T5863a.stderr @@ -2,9 +2,9 @@ T5863a.hs:9:31: Cannot eta-reduce to an instance of form instance (...) => Typeable T - In the data instance declaration for ‛T’ + In the data instance declaration for ‘T’ T5863a.hs:12:32: Cannot eta-reduce to an instance of form instance (...) => Typeable T - In the data instance declaration for ‛T’ + In the data instance declaration for ‘T’ diff --git a/testsuite/tests/deriving/should_fail/T5922.stderr b/testsuite/tests/deriving/should_fail/T5922.stderr index 1b58511d95..c879b7ecfa 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’ + Illegal deriving item ‘show’ + In the data declaration for ‘Proposition’ diff --git a/testsuite/tests/deriving/should_fail/T6147.stderr b/testsuite/tests/deriving/should_fail/T6147.stderr index ffe584c1de..a346ac3216 100644 --- a/testsuite/tests/deriving/should_fail/T6147.stderr +++ b/testsuite/tests/deriving/should_fail/T6147.stderr @@ -1,10 +1,10 @@ T6147.hs:13:32: - Could not coerce from ‛T Int’ to ‛T Foo’ - because the first type argument of ‛T’ has role Nominal, - but the arguments ‛Int’ and ‛Foo’ differ - arising from the coercion of the method ‛foo’ from type - ‛Int -> T Int’ to type ‛Foo -> T Foo’ + Could not coerce from ‘T Int’ to ‘T Foo’ + because the first type argument of ‘T’ has role Nominal, + but the arguments ‘Int’ and ‘Foo’ differ + arising from the coercion of the method ‘foo’ from type + ‘Int -> T Int’ to type ‘Foo -> T Foo’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/T7148.stderr b/testsuite/tests/deriving/should_fail/T7148.stderr index 21e350c3fc..9b1008a360 100644 --- a/testsuite/tests/deriving/should_fail/T7148.stderr +++ b/testsuite/tests/deriving/should_fail/T7148.stderr @@ -1,23 +1,23 @@ T7148.hs:27:40: - Could not coerce from ‛SameType b1 b’ to ‛SameType b1 (Tagged a b)’ - because the second type argument of ‛SameType’ has role Nominal, - but the arguments ‛b’ and ‛Tagged a b’ differ - arising from the coercion of the method ‛iso2’ from type - ‛forall b. SameType b () -> SameType b b’ to type - ‛forall b. SameType b () -> SameType b (Tagged a b)’ + Could not coerce from ‘SameType b1 b’ to ‘SameType b1 (Tagged a b)’ + because the second type argument of ‘SameType’ has role Nominal, + but the arguments ‘b’ and ‘Tagged a b’ differ + arising from the coercion of the method ‘iso2’ from type + ‘forall b. SameType b () -> SameType b b’ to type + ‘forall b. SameType b () -> SameType b (Tagged a b)’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself When deriving the instance for (IsoUnit (Tagged a b)) T7148.hs:27:40: - Could not coerce from ‛SameType b b1’ to ‛SameType (Tagged a b) b1’ - because the first type argument of ‛SameType’ has role Nominal, - but the arguments ‛b’ and ‛Tagged a b’ differ - arising from the coercion of the method ‛iso1’ from type - ‛forall b. SameType () b -> SameType b b’ to type - ‛forall b. SameType () b -> SameType (Tagged a b) b’ + Could not coerce from ‘SameType b b1’ to ‘SameType (Tagged a b) b1’ + because the first type argument of ‘SameType’ has role Nominal, + but the arguments ‘b’ and ‘Tagged a b’ differ + arising from the coercion of the method ‘iso1’ from type + ‘forall b. SameType () b -> SameType b b’ to type + ‘forall b. SameType () b -> SameType (Tagged a b) b’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index 1984eb9c6c..5f865d1f5c 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -1,10 +1,10 @@ T7148a.hs:19:50: - Could not coerce from ‛Result a b’ to ‛b’ - because ‛Result a b’ and ‛b’ are different types. - arising from the coercion of the method ‛coerce’ from type - ‛forall b. Proxy b -> a -> Result a b’ to type - ‛forall b. Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’ + Could not coerce from ‘Result a b’ to ‘b’ + because ‘Result a b’ and ‘b’ are different types. + arising from the coercion of the method ‘coerce’ from type + ‘forall b. Proxy b -> a -> Result a b’ to type + ‘forall b. Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/T7800.stderr b/testsuite/tests/deriving/should_fail/T7800.stderr index 10c790a6da..8cd8533968 100644 --- a/testsuite/tests/deriving/should_fail/T7800.stderr +++ b/testsuite/tests/deriving/should_fail/T7800.stderr @@ -2,5 +2,5 @@ [2 of 2] Compiling T7800 ( T7800.hs, T7800.o ) T7800.hs:7:1: - To make a Typeable instance of poly-kinded ‛A’, use XPolyKinds - In the stand-alone deriving instance for ‛Typeable A’ + To make a Typeable instance of poly-kinded ‘A’, use XPolyKinds + In the stand-alone deriving instance for ‘Typeable A’ diff --git a/testsuite/tests/deriving/should_fail/T7959.stderr b/testsuite/tests/deriving/should_fail/T7959.stderr index 0e805a6b55..dde9ee0034 100644 --- a/testsuite/tests/deriving/should_fail/T7959.stderr +++ b/testsuite/tests/deriving/should_fail/T7959.stderr @@ -1,8 +1,8 @@ T7959.hs:5:1: Cannot derive instances for nullary classes - In the stand-alone deriving instance for ‛A’ + In the stand-alone deriving instance for ‘A’ T7959.hs:6:17: Cannot derive instances for nullary classes - In the data declaration for ‛B’ + In the data declaration for ‘B’ diff --git a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr index e4c07b5220..aa115cd10e 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 3b5b00c2b8..bff4d27a49 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’: + Can't make a derived instance of ‘Functor List’: You need DeriveFunctor to derive an instance for this class - In the data declaration for ‛List’ + 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 322125cf4a..ab7812a3f7 100644 --- a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr @@ -3,28 +3,28 @@ 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) - arising from the first field of ‛UseNoFunctor’ (type ‛NoFunctor a’) + arising from the first field of ‘UseNoFunctor’ (type ‘NoFunctor a’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail001.stderr b/testsuite/tests/deriving/should_fail/drvfail001.stderr index 3f3d4ec63c..7f89e8c52b 100644 --- a/testsuite/tests/deriving/should_fail/drvfail001.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail001.stderr @@ -1,7 +1,7 @@ drvfail001.hs:16:33: No instance for (Show (f (f a))) - arising from the first field of ‛ZeroS’ (type ‛f (f a)’) + arising from the first field of ‘ZeroS’ (type ‘f (f a)’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail002.stderr b/testsuite/tests/deriving/should_fail/drvfail002.stderr index 8064cb6f40..9d8e422601 100644 --- a/testsuite/tests/deriving/should_fail/drvfail002.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail002.stderr @@ -1,7 +1,7 @@ drvfail002.hs:19:23: No instance for (X T c) - arising from the first field of ‛S’ (type ‛T’) + arising from the first field of ‘S’ (type ‘T’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail003.stderr b/testsuite/tests/deriving/should_fail/drvfail003.stderr index a2493f3f1e..6e06abf3b5 100644 --- a/testsuite/tests/deriving/should_fail/drvfail003.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail003.stderr @@ -1,7 +1,7 @@ drvfail003.hs:16:56: No instance for (Show (v (v a))) - arising from the first field of ‛End’ (type ‛v (v a)’) + arising from the first field of ‘End’ (type ‘v (v a)’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail005.stderr b/testsuite/tests/deriving/should_fail/drvfail005.stderr index c77f904dc2..b5a2de8d01 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’ + 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/drvfail007.stderr b/testsuite/tests/deriving/should_fail/drvfail007.stderr index c9d998e043..183a5ff8d5 100644 --- a/testsuite/tests/deriving/should_fail/drvfail007.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail007.stderr @@ -1,7 +1,7 @@ drvfail007.hs:4:38: No instance for (Eq (Int -> Int)) - arising from the first field of ‛Foo’ (type ‛Int -> Int’) + arising from the first field of ‘Foo’ (type ‘Int -> Int’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail009.stderr b/testsuite/tests/deriving/should_fail/drvfail009.stderr index d9592c4669..fcc5b4c305 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’ + 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’ + ‘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’ + 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’ + 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’ + In the newtype declaration for ‘T3’ drvfail009.hs:19:42: - Can't make a derived instance of ‛Monad T4’ + 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’ + 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 f4b27e9d21..99e62fc48e 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/drvfail013.stderr b/testsuite/tests/deriving/should_fail/drvfail013.stderr index 4b2350f2a0..abbe95892d 100644 --- a/testsuite/tests/deriving/should_fail/drvfail013.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail013.stderr @@ -9,7 +9,7 @@ drvfail013.hs:4:70: drvfail013.hs:6:70: No instance for (Eq (m (Maybe a))) - arising from the first field of ‛MaybeT'’ (type ‛m (Maybe a)’) + arising from the first field of ‘MaybeT'’ (type ‘m (Maybe a)’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail014.stderr b/testsuite/tests/deriving/should_fail/drvfail014.stderr index d228e0d660..56a63ff3fb 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’ + 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)’ + ‘(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 e47ca459d5..c38ff00456 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’ + Illegal instance declaration for ‘Eq T’ (All instance types must be of the form (T t1 ... tn) where T is not a synonym. Use TypeSynonymInstances if you want to disable this.) - In the stand-alone deriving instance for ‛Eq T’ + 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 + 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’ + In the stand-alone deriving instance for ‘Eq Handle’ |