diff options
Diffstat (limited to 'testsuite/tests/generics')
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep0.stderr | 16 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1.stderr | 16 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_0.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_1.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_2.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_3.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_4.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_5.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_6.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_7.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_8.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/generics/GenCannotDoRep2.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/generics/GenShouldFail0.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/generics/GenShouldFail1_0.stderr | 4 |
14 files changed, 45 insertions, 45 deletions
diff --git a/testsuite/tests/generics/GenCannotDoRep0.stderr b/testsuite/tests/generics/GenCannotDoRep0.stderr index 291ab14b5f..d216a703b3 100644 --- a/testsuite/tests/generics/GenCannotDoRep0.stderr +++ b/testsuite/tests/generics/GenCannotDoRep0.stderr @@ -3,21 +3,21 @@ GenCannotDoRep0.hs:6:14: Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. GenCannotDoRep0.hs:13:45: - Can't make a derived instance of `Generic Dynamic': + Can't make a derived instance of ‛Generic Dynamic’: Dynamic must be a vanilla data constructor - In the data declaration for `Dynamic' + In the data declaration for ‛Dynamic’ GenCannotDoRep0.hs:17:1: - Can't make a derived instance of `Generic (P Int)': + Can't make a derived instance of ‛Generic (P Int)’: P must not be instantiated; try deriving `P a' instead - In the stand-alone deriving instance for `Generic (P Int)' + In the stand-alone deriving instance for ‛Generic (P Int)’ GenCannotDoRep0.hs:26:1: - Can't make a derived instance of `Generic (D Char Char)': + Can't make a derived instance of ‛Generic (D Char Char)’: D must not be instantiated; try deriving `D Char b' instead - In the stand-alone deriving instance for `Generic (D Char Char)' + In the stand-alone deriving instance for ‛Generic (D Char Char)’ GenCannotDoRep0.hs:28:1: - Can't make a derived instance of `Generic (D Int a)': + Can't make a derived instance of ‛Generic (D Int a)’: D must not have a datatype context - In the stand-alone deriving instance for `Generic (D Int a)' + In the stand-alone deriving instance for ‛Generic (D Int a)’ diff --git a/testsuite/tests/generics/GenCannotDoRep1.stderr b/testsuite/tests/generics/GenCannotDoRep1.stderr index dde1d5b0d8..7e0f124b1e 100644 --- a/testsuite/tests/generics/GenCannotDoRep1.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1.stderr @@ -1,8 +1,8 @@ -
-GenCannotDoRep1.hs:1:29: Warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-GenCannotDoRep1.hs:8:49:
- Can't make a derived instance of `Generic (Context a)':
- Context must not have a datatype context
- In the data declaration for `Context'
+ +GenCannotDoRep1.hs:1:29: Warning: + -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. + +GenCannotDoRep1.hs:8:49: + Can't make a derived instance of ‛Generic (Context a)’: + Context must not have a datatype context + In the data declaration for ‛Context’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_0.stderr b/testsuite/tests/generics/GenCannotDoRep1_0.stderr index 2e602af0e6..c75205a380 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_0.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_0.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_0.hs:9:49: - Can't make a derived instance of `Generic1 Dynamic': + Can't make a derived instance of ‛Generic1 Dynamic’: Dynamic must be a vanilla data constructor - In the data declaration for `Dynamic' + In the data declaration for ‛Dynamic’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_1.stderr b/testsuite/tests/generics/GenCannotDoRep1_1.stderr index df9f518c67..97eeca51a9 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_1.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_1.stderr @@ -3,6 +3,6 @@ GenCannotDoRep1_1.hs:1:29: Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. GenCannotDoRep1_1.hs:8:49: - Can't make a derived instance of `Generic1 Context': + Can't make a derived instance of ‛Generic1 Context’: Context must not have a datatype context - In the data declaration for `Context' + In the data declaration for ‛Context’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_2.stderr b/testsuite/tests/generics/GenCannotDoRep1_2.stderr index ffda5ffd2c..32aebb7fc9 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_2.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_2.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_2.hs:13:1: - Can't make a derived instance of `Generic1 Term': + Can't make a derived instance of ‛Generic1 Term’: Int must be a vanilla data constructor - In the stand-alone deriving instance for `Generic1 Term' + In the stand-alone deriving instance for ‛Generic1 Term’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_3.stderr b/testsuite/tests/generics/GenCannotDoRep1_3.stderr index 7312a95158..7e54463ff5 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_3.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_3.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_3.hs:11:33: - Can't make a derived instance of `Generic1 T': - Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->) - In the data declaration for `T' + Can't make a derived instance of ‛Generic1 T’: + Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->) + In the data declaration for ‛T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_4.stderr b/testsuite/tests/generics/GenCannotDoRep1_4.stderr index 2a8d2a699b..e4b39838d6 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_4.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_4.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_4.hs:8:34: - Can't make a derived instance of `Generic1 T': - Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->) - In the data declaration for `T' + Can't make a derived instance of ‛Generic1 T’: + Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->) + In the data declaration for ‛T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_5.stderr b/testsuite/tests/generics/GenCannotDoRep1_5.stderr index 13d25089a5..21e849098c 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_5.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_5.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_5.hs:9:32: - Can't make a derived instance of `Generic1 T': - Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->) - In the data declaration for `T' + Can't make a derived instance of ‛Generic1 T’: + Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->) + In the data declaration for ‛T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_6.stderr b/testsuite/tests/generics/GenCannotDoRep1_6.stderr index 16b822e1c1..06d95b223e 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_6.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_6.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_6.hs:9:43: - Can't make a derived instance of `Generic1 T': - Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->) - In the data declaration for `T' + Can't make a derived instance of ‛Generic1 T’: + Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->) + In the data declaration for ‛T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_7.stderr b/testsuite/tests/generics/GenCannotDoRep1_7.stderr index 3b6af68fb0..2830a6d774 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_7.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_7.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_7.hs:11:29: - Can't make a derived instance of `Generic1 T': + Can't make a derived instance of ‛Generic1 T’: must not apply type constructors that cannot be represented with `Rep1' (such as `B') to arguments that involve the last type parameter - In the data declaration for `T' + In the data declaration for ‛T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_8.stderr b/testsuite/tests/generics/GenCannotDoRep1_8.stderr index c0d6929071..305944471f 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_8.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_8.stderr @@ -1,5 +1,5 @@ GenCannotDoRep1_8.hs:12:30: - Can't make a derived instance of `Generic1 T': - Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->) - In the data declaration for `T' + Can't make a derived instance of ‛Generic1 T’: + Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->) + In the data declaration for ‛T’ diff --git a/testsuite/tests/generics/GenCannotDoRep2.stderr b/testsuite/tests/generics/GenCannotDoRep2.stderr index 35caf2c3b4..635102310a 100644 --- a/testsuite/tests/generics/GenCannotDoRep2.stderr +++ b/testsuite/tests/generics/GenCannotDoRep2.stderr @@ -1,5 +1,5 @@ GenCannotDoRep2.hs:13:1: - Can't make a derived instance of `Generic (Term a)': + Can't make a derived instance of ‛Generic (Term a)’: Int must be a vanilla data constructor - In the stand-alone deriving instance for `Generic (Term a)' + In the stand-alone deriving instance for ‛Generic (Term a)’ diff --git a/testsuite/tests/generics/GenShouldFail0.stderr b/testsuite/tests/generics/GenShouldFail0.stderr index 3685e67784..f85cd92894 100644 --- a/testsuite/tests/generics/GenShouldFail0.stderr +++ b/testsuite/tests/generics/GenShouldFail0.stderr @@ -1,5 +1,5 @@ GenShouldFail0.hs:9:1: - Can't make a derived instance of `Generic X': + Can't make a derived instance of ‛Generic X’: You need -XDeriveGeneric to derive an instance for this class - In the stand-alone deriving instance for `Generic X' + In the stand-alone deriving instance for ‛Generic X’ diff --git a/testsuite/tests/generics/GenShouldFail1_0.stderr b/testsuite/tests/generics/GenShouldFail1_0.stderr index 9b7ba3ef07..00779d00ea 100644 --- a/testsuite/tests/generics/GenShouldFail1_0.stderr +++ b/testsuite/tests/generics/GenShouldFail1_0.stderr @@ -1,5 +1,5 @@ GenShouldFail1_0.hs:9:1: - Can't make a derived instance of `Generic1 X': + Can't make a derived instance of ‛Generic1 X’: You need -XDeriveGeneric to derive an instance for this class - In the stand-alone deriving instance for `Generic1 X' + In the stand-alone deriving instance for ‛Generic1 X’ |