diff options
author | sheaf <sam.derbyshire@gmail.com> | 2022-09-13 10:22:05 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-13 10:27:53 -0400 |
commit | 362cca13858faf7e1158273780ea900e7dad5827 (patch) | |
tree | 468c06697b2a6ef3f65b79a469a131d279f71deb /testsuite/tests/generics | |
parent | 65a0bd69ac1fb59047cd4c8554a8fc756c7b3476 (diff) | |
download | haskell-362cca13858faf7e1158273780ea900e7dad5827.tar.gz |
Diagnostic codes: acccept test changes
The testsuite output now contains diagnostic codes, so many tests need
to be updated at once.
We decided it was best to keep the diagnostic codes in the testsuite
output, so that contributors don't inadvertently make changes to the
diagnostic codes.
Diffstat (limited to 'testsuite/tests/generics')
17 files changed, 57 insertions, 57 deletions
diff --git a/testsuite/tests/generics/GenCannotDoRep0_0.stderr b/testsuite/tests/generics/GenCannotDoRep0_0.stderr index ced307d7c9..04c03697b3 100644 --- a/testsuite/tests/generics/GenCannotDoRep0_0.stderr +++ b/testsuite/tests/generics/GenCannotDoRep0_0.stderr @@ -2,13 +2,13 @@ GenCannotDoRep0_0.hs:6:14: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. -GenCannotDoRep0_0.hs:13:45: error: +GenCannotDoRep0_0.hs:13:45: error: [GHC-16437] • Can't make a derived instance of ‘Generic Dynamic’: Constructor ‘Dynamic’ has existential type variables in its type • In the data declaration for ‘Dynamic’ Suggested fix: Use a standalone deriving declaration instead -GenCannotDoRep0_0.hs:28:1: error: +GenCannotDoRep0_0.hs:28:1: error: [GHC-30367] • 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)’ diff --git a/testsuite/tests/generics/GenCannotDoRep0_1.stderr b/testsuite/tests/generics/GenCannotDoRep0_1.stderr index e99240d2c6..d6167ae61b 100644 --- a/testsuite/tests/generics/GenCannotDoRep0_1.stderr +++ b/testsuite/tests/generics/GenCannotDoRep0_1.stderr @@ -2,7 +2,7 @@ GenCannotDoRep0_1.hs:1:29: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. -GenCannotDoRep0_1.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’ +GenCannotDoRep0_1.hs:8:49: error: [GHC-30367] + • 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/GenCannotDoRep0_2.stderr b/testsuite/tests/generics/GenCannotDoRep0_2.stderr index 9d0f7020d6..05cc0d1112 100644 --- a/testsuite/tests/generics/GenCannotDoRep0_2.stderr +++ b/testsuite/tests/generics/GenCannotDoRep0_2.stderr @@ -1,5 +1,5 @@ -GenCannotDoRep0_2.hs:13:1: - 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)’ +GenCannotDoRep0_2.hs:13:1: error: [GHC-30367] + • 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)’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_0.stderr b/testsuite/tests/generics/GenCannotDoRep1_0.stderr index 604ad0c14c..a921239c15 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_0.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_0.stderr @@ -1,5 +1,5 @@ -GenCannotDoRep1_0.hs:9:49: error: +GenCannotDoRep1_0.hs:9:49: error: [GHC-16437] • Can't make a derived instance of ‘Generic1 Dynamic’: Constructor ‘Dynamic’ has existential type variables in its type • In the data declaration for ‘Dynamic’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_1.stderr b/testsuite/tests/generics/GenCannotDoRep1_1.stderr index 6ed636ffc8..9e009398cc 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_1.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_1.stderr @@ -2,7 +2,7 @@ GenCannotDoRep1_1.hs:1:29: warning: [-Wdeprecated-flags (in -Wdefault)] -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’: - Context must not have a datatype context - In the data declaration for ‘Context’ +GenCannotDoRep1_1.hs:8:49: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 Context’: + Context must not have a datatype context + • In the data declaration for ‘Context’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_2.stderr b/testsuite/tests/generics/GenCannotDoRep1_2.stderr index 17e1f5944f..ebf5d1bce0 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’: - Int must be a vanilla data constructor - In the stand-alone deriving instance for ‘Generic1 Term’ +GenCannotDoRep1_2.hs:13:1: error: [GHC-30367] + • 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’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_3.stderr b/testsuite/tests/generics/GenCannotDoRep1_3.stderr index 2b7a280923..3fadb4eb21 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_3.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_3.stderr @@ -1,6 +1,6 @@ -GenCannotDoRep1_3.hs:11:33: - Can't make a derived instance of ‘Generic1 T’: - Constructor ‘T’ applies a type to an argument involving the last parameter - but the applied type is not of kind * -> * - In the data declaration for ‘T’ +GenCannotDoRep1_3.hs:11:33: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 T’: + Constructor ‘T’ applies a type to an argument involving the last parameter + but the applied type is not of kind * -> * + • In the data declaration for ‘T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_4.stderr b/testsuite/tests/generics/GenCannotDoRep1_4.stderr index 973c9b0843..5afa28dcc4 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_4.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_4.stderr @@ -1,6 +1,6 @@ -GenCannotDoRep1_4.hs:8:34: - Can't make a derived instance of ‘Generic1 T’: - Constructor ‘T’ applies a type to an argument involving the last parameter - but the applied type is not of kind * -> * - In the data declaration for ‘T’ +GenCannotDoRep1_4.hs:8:34: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 T’: + Constructor ‘T’ applies a type to an argument involving the last parameter + but the applied type is not of kind * -> * + • In the data declaration for ‘T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_6.stderr b/testsuite/tests/generics/GenCannotDoRep1_6.stderr index 04d88bf90e..1ba8ae73c6 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_6.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_6.stderr @@ -1,6 +1,6 @@ -GenCannotDoRep1_6.hs:9:43: - Can't make a derived instance of ‘Generic1 T’: - Constructor ‘T’ applies a type to an argument involving the last parameter - but the applied type is not of kind * -> * - In the data declaration for ‘T’ +GenCannotDoRep1_6.hs:9:43: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 T’: + Constructor ‘T’ applies a type to an argument involving the last parameter + but the applied type is not of kind * -> * + • In the data declaration for ‘T’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_7.stderr b/testsuite/tests/generics/GenCannotDoRep1_7.stderr index a35df31863..fcdc937699 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_7.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_7.stderr @@ -1,6 +1,6 @@ -GenCannotDoRep1_7.hs:9:32: - Can't make a derived instance of ‘Generic1 I’: - Constructor ‘I’ applies a type to an argument involving the last parameter - but the applied type is not of kind * -> * - In the data declaration for ‘I’ +GenCannotDoRep1_7.hs:9:32: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 I’: + Constructor ‘I’ applies a type to an argument involving the last parameter + but the applied type is not of kind * -> * + • In the data declaration for ‘I’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_8.stderr b/testsuite/tests/generics/GenCannotDoRep1_8.stderr index 1cf9bb9794..f413c30295 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_8.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_8.stderr @@ -1,6 +1,6 @@ -GenCannotDoRep1_8.hs:12:30: - Can't make a derived instance of ‘Generic1 T’: - Constructor ‘T’ applies a type to an argument involving the last parameter - but the applied type is not of kind * -> * - In the data declaration for ‘T’ +GenCannotDoRep1_8.hs:12:30: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 T’: + Constructor ‘T’ applies a type to an argument involving the last parameter + but the applied type is not of kind * -> * + • In the data declaration for ‘T’ diff --git a/testsuite/tests/generics/GenShouldFail0.stderr b/testsuite/tests/generics/GenShouldFail0.stderr index 90fe1bf305..f6c7dc61f8 100644 --- a/testsuite/tests/generics/GenShouldFail0.stderr +++ b/testsuite/tests/generics/GenShouldFail0.stderr @@ -1,5 +1,5 @@ -GenShouldFail0.hs:10:1: error: +GenShouldFail0.hs:10:1: error: [GHC-86639] • Can't make a derived instance of ‘Generic X’: You need DeriveGeneric to derive an instance for this class • 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 26dfa8e405..0b4eac539b 100644 --- a/testsuite/tests/generics/GenShouldFail1_0.stderr +++ b/testsuite/tests/generics/GenShouldFail1_0.stderr @@ -1,5 +1,5 @@ -GenShouldFail1_0.hs:10:1: error: +GenShouldFail1_0.hs:10:1: error: [GHC-86639] • Can't make a derived instance of ‘Generic1 X’: You need DeriveGeneric to derive an instance for this class • In the stand-alone deriving instance for ‘Generic1 X’ diff --git a/testsuite/tests/generics/T10604/T10604_bad_variable_occurrence.stderr b/testsuite/tests/generics/T10604/T10604_bad_variable_occurrence.stderr index a8ac7c7471..69208c6668 100644 --- a/testsuite/tests/generics/T10604/T10604_bad_variable_occurrence.stderr +++ b/testsuite/tests/generics/T10604/T10604_bad_variable_occurrence.stderr @@ -1,5 +1,5 @@ -T10604_bad_variable_occurrence.hs:9:12: error: +T10604_bad_variable_occurrence.hs:9:12: error: [GHC-30367] • Can't make a derived instance of ‘Generic1 Fix’: Constructor ‘In’ applies a type to an argument involving the last parameter but the applied type is not of kind * -> * diff --git a/testsuite/tests/generics/T10604/T10604_no_PolyKinds.stderr b/testsuite/tests/generics/T10604/T10604_no_PolyKinds.stderr index 1f1c2178f6..85d62d22ed 100644 --- a/testsuite/tests/generics/T10604/T10604_no_PolyKinds.stderr +++ b/testsuite/tests/generics/T10604/T10604_no_PolyKinds.stderr @@ -1,5 +1,5 @@ -T10604_no_PolyKinds.hs:8:35: error: +T10604_no_PolyKinds.hs:8:35: error: [GHC-62016] • Cannot derive well-kinded instance of form ‘Generic1 (F ...)’ Class ‘Generic1’ expects an argument of kind ‘* -> *’ • In the data declaration for ‘F’ diff --git a/testsuite/tests/generics/T5462No1.stderr b/testsuite/tests/generics/T5462No1.stderr index b4977caa23..53d1ffa6df 100644 --- a/testsuite/tests/generics/T5462No1.stderr +++ b/testsuite/tests/generics/T5462No1.stderr @@ -1,7 +1,7 @@ -[1 of 2] Compiling GFunctor ( GFunctor/GFunctor.hs, out_T5462No1/GFunctor.o ) -[2 of 2] Compiling T5462No1 ( T5462No1.hs, out_T5462No1/T5462No1.o ) +[1 of 2] Compiling GFunctor ( GFunctor\GFunctor.hs, out_T5462No1\GFunctor.o ) +[2 of 2] Compiling T5462No1 ( T5462No1.hs, out_T5462No1\T5462No1.o ) -T5462No1.hs:25:42: error: +T5462No1.hs:25:42: error: [GHC-82023] • Can't make a derived instance of ‘GFunctor F’: ‘GFunctor’ is not a stock derivable class (Eq, Show, etc.) • In the newtype declaration for ‘F’ @@ -9,13 +9,13 @@ T5462No1.hs:25:42: error: Perhaps you intended to use GeneralizedNewtypeDeriving for GHC's newtype-deriving extension -T5462No1.hs:27:23: error: +T5462No1.hs:27:23: error: [GHC-00158] • Can't make a derived instance of ‘C1 G’: ‘C1’ is not a stock derivable class (Eq, Show, etc.) • In the data declaration for ‘G’ Suggested fix: Perhaps you intended to use DeriveAnyClass -T5462No1.hs:28:23: error: +T5462No1.hs:28:23: error: [GHC-00158] • Can't make a derived instance of ‘C2 H’: ‘C2’ is not a stock derivable class (Eq, Show, etc.) • In the data declaration for ‘H’ diff --git a/testsuite/tests/generics/T8468.stderr b/testsuite/tests/generics/T8468.stderr index aaf68b9d5a..e49eafe402 100644 --- a/testsuite/tests/generics/T8468.stderr +++ b/testsuite/tests/generics/T8468.stderr @@ -1,5 +1,5 @@ -T8468.hs:6:42: - Can't make a derived instance of ‘Generic1 Array’: - Array must not have exotic unlifted or polymorphic arguments - In the data declaration for ‘Array’ +T8468.hs:6:42: error: [GHC-30367] + • Can't make a derived instance of ‘Generic1 Array’: + Array must not have exotic unlifted or polymorphic arguments + • In the data declaration for ‘Array’ |