summaryrefslogtreecommitdiff
path: root/testsuite/tests/generics
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2022-09-13 10:22:05 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-09-13 10:27:53 -0400
commit362cca13858faf7e1158273780ea900e7dad5827 (patch)
tree468c06697b2a6ef3f65b79a469a131d279f71deb /testsuite/tests/generics
parent65a0bd69ac1fb59047cd4c8554a8fc756c7b3476 (diff)
downloadhaskell-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')
-rw-r--r--testsuite/tests/generics/GenCannotDoRep0_0.stderr4
-rw-r--r--testsuite/tests/generics/GenCannotDoRep0_1.stderr8
-rw-r--r--testsuite/tests/generics/GenCannotDoRep0_2.stderr8
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_0.stderr2
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_1.stderr8
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_2.stderr8
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_3.stderr10
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_4.stderr10
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_6.stderr10
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_7.stderr10
-rw-r--r--testsuite/tests/generics/GenCannotDoRep1_8.stderr10
-rw-r--r--testsuite/tests/generics/GenShouldFail0.stderr2
-rw-r--r--testsuite/tests/generics/GenShouldFail1_0.stderr2
-rw-r--r--testsuite/tests/generics/T10604/T10604_bad_variable_occurrence.stderr2
-rw-r--r--testsuite/tests/generics/T10604/T10604_no_PolyKinds.stderr2
-rw-r--r--testsuite/tests/generics/T5462No1.stderr10
-rw-r--r--testsuite/tests/generics/T8468.stderr8
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’