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.

51 files changed, 177 insertions, 173 deletions

diff --git a/testsuite/tests/warnings/minimal/WarnMinimal.stderr b/testsuite/tests/warnings/minimal/WarnMinimal.stderr
index 4323a91e17..c474f450fb 100644
--- a/testsuite/tests/warnings/minimal/WarnMinimal.stderr
+++ b/testsuite/tests/warnings/minimal/WarnMinimal.stderr
@@ -24,19 +24,19 @@ WarnMinimal.hs:79:10: warning: [-Wmissing-methods (in -Wdefault)]
         ‘return'’ and (either (‘fmap'’ and ‘join'’) or ‘bind'’)
     • In the instance declaration for ‘Monad' Id3’
 
-WarnMinimal.hs:84:1: warning:
+WarnMinimal.hs:84:1: warning: [GHC-13511]
     • The MINIMAL pragma does not require:
         ‘cheater’
       but there is no default implementation.
     • In the class declaration for ‘Cheater’
 
-WarnMinimal.hs:88:1: warning:
+WarnMinimal.hs:88:1: warning: [GHC-13511]
     • The MINIMAL pragma does not require:
         ‘_cheater2’
       but there is no default implementation.
     • In the class declaration for ‘Cheater2’
 
-WarnMinimal.hs:92:1: warning:
+WarnMinimal.hs:92:1: warning: [GHC-13511]
     • The MINIMAL pragma does not require:
         ‘cheater3b’
       but there is no default implementation.
diff --git a/testsuite/tests/warnings/minimal/WarnMinimalFail2.stderr b/testsuite/tests/warnings/minimal/WarnMinimalFail2.stderr
index 70584cdf28..094c865cd1 100644
--- a/testsuite/tests/warnings/minimal/WarnMinimalFail2.stderr
+++ b/testsuite/tests/warnings/minimal/WarnMinimalFail2.stderr
@@ -1,3 +1,3 @@
 
-WarnMinimalFail2.hs:8:15:
+WarnMinimalFail2.hs:8:15: error: [GHC-54721]
     ‘global’ is not a (visible) method of class ‘Foo’
diff --git a/testsuite/tests/warnings/minimal/WarnMinimalFail3.stderr b/testsuite/tests/warnings/minimal/WarnMinimalFail3.stderr
index 3b2616b60d..a27f7bb1c7 100644
--- a/testsuite/tests/warnings/minimal/WarnMinimalFail3.stderr
+++ b/testsuite/tests/warnings/minimal/WarnMinimalFail3.stderr
@@ -1,3 +1,3 @@
 
-WarnMinimalFail3.hs:12:15:
+WarnMinimalFail3.hs:12:15: error: [GHC-54721]
     ‘parent’ is not a (visible) method of class ‘Child’
diff --git a/testsuite/tests/warnings/should_compile/DeprU.stderr b/testsuite/tests/warnings/should_compile/DeprU.stderr
index f8db14ef0f..f184ef6262 100644
--- a/testsuite/tests/warnings/should_compile/DeprU.stderr
+++ b/testsuite/tests/warnings/should_compile/DeprU.stderr
@@ -5,6 +5,6 @@ DeprU.hs:3:1: warning: [-Wdeprecations (in -Wdefault)]
     Module ‘DeprM’ is deprecated:
       "Here can be your menacing deprecation warning!"
 
-DeprU.hs:6:5: warning: [-Wdeprecations (in -Wdefault)]
+DeprU.hs:6:5: warning: [GHC-68441] [-Wdeprecations (in -Wdefault)]
     In the use of ‘f’ (imported from DeprM):
     Deprecated: "Here can be your menacing deprecation warning!"
diff --git a/testsuite/tests/warnings/should_compile/DerivingTypeable.stderr b/testsuite/tests/warnings/should_compile/DerivingTypeable.stderr
index 20a19ab530..aba7849030 100644
--- a/testsuite/tests/warnings/should_compile/DerivingTypeable.stderr
+++ b/testsuite/tests/warnings/should_compile/DerivingTypeable.stderr
@@ -1,3 +1,4 @@
-DerivingTypeable.hs:8:12: warning: [-Wderiving-typeable]
-     Deriving ‘Typeable’ has no effect: all types now auto-derive Typeable
-     In the data declaration for ‘Foo’
+
+DerivingTypeable.hs:8:12: warning: [GHC-90584] [-Wderiving-typeable]
+    • Deriving ‘Typeable’ has no effect: all types now auto-derive Typeable
+    • In the data declaration for ‘Foo’
diff --git a/testsuite/tests/warnings/should_compile/DodgyExports01.stderr b/testsuite/tests/warnings/should_compile/DodgyExports01.stderr
index 8e9c00d8b8..d3cae826ab 100644
--- a/testsuite/tests/warnings/should_compile/DodgyExports01.stderr
+++ b/testsuite/tests/warnings/should_compile/DodgyExports01.stderr
@@ -1,5 +1,5 @@
 
-DodgyExports01.hs:2:13: warning: [-Wdodgy-exports (in -Wextra)]
+DodgyExports01.hs:2:13: warning: [GHC-75356] [-Wdodgy-exports (in -Wextra)]
     The export item ‘T(..)’ suggests that
     ‘T’ has (in-scope) constructors or class methods,
     but it has none
diff --git a/testsuite/tests/warnings/should_compile/MissingMod.stderr b/testsuite/tests/warnings/should_compile/MissingMod.stderr
index 119e72cd28..92ada51d60 100644
--- a/testsuite/tests/warnings/should_compile/MissingMod.stderr
+++ b/testsuite/tests/warnings/should_compile/MissingMod.stderr
@@ -1,5 +1,6 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
-    Modules are not listed in command line but needed for compilation: MissingMod1
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
+    Modules are not listed in command line but needed for compilation: 
+        MissingMod1
 [1 of 2] Compiling MissingMod1      ( MissingMod1.hs, MissingMod1.o )
 [2 of 2] Compiling MissingMod       ( MissingMod.hs, MissingMod.o )
diff --git a/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-32 b/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-32
index 0868f26f07..528436cec0 100644
--- a/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-32
+++ b/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-32
@@ -1,18 +1,18 @@
 
-Overflow.hs:8:15: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:8:15: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 10000000000000000000000000000000 is out of the Int# range -2147483648..2147483647
 
-Overflow.hs:13:1: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:13:1: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 100000000000000000000000000 is out of the Int# range -2147483648..2147483647
 
-Overflow.hs:18:5: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:18:5: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 1000000000000000000000000000000 is out of the Int range -2147483648..2147483647
 
-Overflow.hs:22:1: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:22:1: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 100000000000000000000000000000000 is out of the Int range -2147483648..2147483647
 
-Overflow.hs:27:6: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:27:6: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -1 is out of the Word range 0..4294967295
 
-Overflow.hs:31:1: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:31:1: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -1 is out of the Word range 0..4294967295
diff --git a/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-64 b/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-64
index ce657aebf6..e66e614831 100644
--- a/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-64
+++ b/testsuite/tests/warnings/should_compile/Overflow.stderr-ws-64
@@ -1,18 +1,18 @@
 
-Overflow.hs:8:15: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:8:15: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 10000000000000000000000000000000 is out of the Int# range -9223372036854775808..9223372036854775807
 
-Overflow.hs:13:1: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:13:1: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 100000000000000000000000000 is out of the Int# range -9223372036854775808..9223372036854775807
 
-Overflow.hs:18:5: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:18:5: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 1000000000000000000000000000000 is out of the Int range -9223372036854775808..9223372036854775807
 
-Overflow.hs:22:1: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:22:1: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 100000000000000000000000000000000 is out of the Int range -9223372036854775808..9223372036854775807
 
-Overflow.hs:27:6: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:27:6: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -1 is out of the Word range 0..18446744073709551615
 
-Overflow.hs:31:1: warning: [-Woverflowed-literals (in -Wdefault)]
+Overflow.hs:31:1: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -1 is out of the Word range 0..18446744073709551615
diff --git a/testsuite/tests/warnings/should_compile/PluralS.stderr b/testsuite/tests/warnings/should_compile/PluralS.stderr
index d8a6f76957..5ba0ad9347 100644
--- a/testsuite/tests/warnings/should_compile/PluralS.stderr
+++ b/testsuite/tests/warnings/should_compile/PluralS.stderr
@@ -1,12 +1,12 @@
 
-PluralS.hs:15:17: warning: [-Wtype-defaults (in -Wall)]
+PluralS.hs:15:17: warning: [GHC-18042] [-Wtype-defaults (in -Wall)]
     • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraint
         Num a0 arising from the literal ‘123’
     • In the first argument of ‘seq’, namely ‘123’
       In the expression: 123 `seq` ()
       In an equation for ‘defaultingNum’: defaultingNum = 123 `seq` ()
 
-PluralS.hs:17:24: warning: [-Wtype-defaults (in -Wall)]
+PluralS.hs:17:24: warning: [GHC-18042] [-Wtype-defaults (in -Wall)]
     • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
         (Show a0) arising from a use of ‘show’ at PluralS.hs:17:24-27
         (Num a0) arising from the literal ‘123’ at PluralS.hs:17:29-31
@@ -14,14 +14,14 @@ PluralS.hs:17:24: warning: [-Wtype-defaults (in -Wall)]
       In an equation for ‘defaultingNumAndShow’:
           defaultingNumAndShow = show 123
 
-PluralS.hs:23:17: warning: [-Wredundant-constraints]
-    • Redundant constraint: Num a
-    • In the type signature for:
-           redundantNum :: forall a. (Num a, Num a) => a
+PluralS.hs:23:17: warning: [GHC-30606] [-Wredundant-constraints]
+    Redundant constraint: Num a
+    In the type signature for:
+         redundantNum :: forall a. (Num a, Num a) => a
 
-PluralS.hs:26:22: warning: [-Wredundant-constraints]
-    • Redundant constraints: (Show a, Num a, Eq a, Eq a)
-    • In the type signature for:
-           redundantMultiple :: forall a.
-                                (Num a, Show a, Num a, Eq a, Eq a) =>
-                                a
+PluralS.hs:26:22: warning: [GHC-30606] [-Wredundant-constraints]
+    Redundant constraints: (Show a, Num a, Eq a, Eq a)
+    In the type signature for:
+         redundantMultiple :: forall a.
+                              (Num a, Show a, Num a, Eq a, Eq a) =>
+                              a
diff --git a/testsuite/tests/warnings/should_compile/StarBinder.stderr b/testsuite/tests/warnings/should_compile/StarBinder.stderr
index 64bd8a3fbc..b9370e0bb2 100644
--- a/testsuite/tests/warnings/should_compile/StarBinder.stderr
+++ b/testsuite/tests/warnings/should_compile/StarBinder.stderr
@@ -1,12 +1,12 @@
 
-StarBinder.hs:6:14: warning: [-Wstar-binder (in -Wdefault)]
+StarBinder.hs:6:14: warning: [GHC-21887] [-Wstar-binder (in -Wdefault)]
     Found binding occurrence of ‘*’ yet StarIsType is enabled.
     Suggested fix:
       To use (or export) this operator in modules with StarIsType,
-        including the definition module, you must qualify it.
+          including the definition module, you must qualify it.
 
-StarBinder.hs:6:30: warning: [-Wstar-binder (in -Wdefault)]
+StarBinder.hs:6:30: warning: [GHC-21887] [-Wstar-binder (in -Wdefault)]
     Found binding occurrence of ‘*’ yet StarIsType is enabled.
     Suggested fix:
       To use (or export) this operator in modules with StarIsType,
-        including the definition module, you must qualify it.
+          including the definition module, you must qualify it.
diff --git a/testsuite/tests/warnings/should_compile/T10637/T10637.stderr b/testsuite/tests/warnings/should_compile/T10637/T10637.stderr
index ece4316739..d0b53d1ff2 100644
--- a/testsuite/tests/warnings/should_compile/T10637/T10637.stderr
+++ b/testsuite/tests/warnings/should_compile/T10637/T10637.stderr
@@ -1,3 +1,3 @@
 
-T10637.hs:3:23: warning: [-Wunused-imports (in -Wextra)]
+T10637.hs:3:23: warning: [GHC-88907] [-Wunused-imports (in -Wextra)]
     {-# SOURCE #-} unnecessary in import of  ‘A’
diff --git a/testsuite/tests/warnings/should_compile/T10930.stderr-ws-32 b/testsuite/tests/warnings/should_compile/T10930.stderr-ws-32
index 8fcd1a3a1f..0928274914 100644
--- a/testsuite/tests/warnings/should_compile/T10930.stderr-ws-32
+++ b/testsuite/tests/warnings/should_compile/T10930.stderr-ws-32
@@ -1,12 +1,12 @@
 
-T10930.hs:6:5: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930.hs:6:5: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -123 is out of the Word range 0..4294967295
 
-T10930.hs:7:5: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930.hs:7:5: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -123 is negative but Natural only supports positive numbers
 
-T10930.hs:9:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T10930.hs:9:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
 
-T10930.hs:10:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T10930.hs:10:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
diff --git a/testsuite/tests/warnings/should_compile/T10930.stderr-ws-64 b/testsuite/tests/warnings/should_compile/T10930.stderr-ws-64
index 1b593b9f38..64e8d5b3cc 100644
--- a/testsuite/tests/warnings/should_compile/T10930.stderr-ws-64
+++ b/testsuite/tests/warnings/should_compile/T10930.stderr-ws-64
@@ -1,11 +1,12 @@
 
-T10930.hs:6:5: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930.hs:6:5: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -123 is out of the Word range 0..18446744073709551615
 
-T10930.hs:7:5: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930.hs:7:5: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -123 is negative but Natural only supports positive numbers
 
-T10930.hs:9:5: warning: [-Wempty-enumerations (in -Wdefault)] Enumeration is empty
+T10930.hs:9:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
+    Enumeration is empty
 
-T10930.hs:10:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T10930.hs:10:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
diff --git a/testsuite/tests/warnings/should_compile/T10930b.stderr b/testsuite/tests/warnings/should_compile/T10930b.stderr
index a967efa839..689aa54821 100644
--- a/testsuite/tests/warnings/should_compile/T10930b.stderr
+++ b/testsuite/tests/warnings/should_compile/T10930b.stderr
@@ -1,15 +1,15 @@
 
-T10930b.hs:6:6: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930b.hs:6:6: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -10 is negative but Natural only supports positive numbers
 
-T10930b.hs:6:13: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930b.hs:6:13: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -3 is negative but Natural only supports positive numbers
 
-T10930b.hs:7:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T10930b.hs:7:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
 
-T10930b.hs:7:6: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930b.hs:7:6: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -3 is negative but Natural only supports positive numbers
 
-T10930b.hs:7:12: warning: [-Woverflowed-literals (in -Wdefault)]
+T10930b.hs:7:12: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal -10 is negative but Natural only supports positive numbers
diff --git a/testsuite/tests/warnings/should_compile/T11077.stderr b/testsuite/tests/warnings/should_compile/T11077.stderr
index 9621e8d5e1..011f5a264c 100644
--- a/testsuite/tests/warnings/should_compile/T11077.stderr
+++ b/testsuite/tests/warnings/should_compile/T11077.stderr
@@ -1,3 +1,3 @@
 
-T11077.hs:5:1: warning: [-Wmissing-exported-signatures]
+T11077.hs:5:1: warning: [GHC-38417] [-Wmissing-exported-signatures]
     Top-level binding with no type signature: foo :: a
diff --git a/testsuite/tests/warnings/should_compile/T12574.stderr b/testsuite/tests/warnings/should_compile/T12574.stderr
index 35427c1b90..1a276f8835 100644
--- a/testsuite/tests/warnings/should_compile/T12574.stderr
+++ b/testsuite/tests/warnings/should_compile/T12574.stderr
@@ -1,4 +1,4 @@
 
-T12574.hs:3:1: warning: [-Wmissing-local-signatures]
+T12574.hs:3:1: warning: [GHC-64414] [-Wmissing-local-signatures]
     Polymorphic local binding with no type signature:
       T12574.id :: forall {p}. p -> p
diff --git a/testsuite/tests/warnings/should_compile/T13256.stderr-ws-32 b/testsuite/tests/warnings/should_compile/T13256.stderr-ws-32
index 6309a9765e..dded19d4ff 100644
--- a/testsuite/tests/warnings/should_compile/T13256.stderr-ws-32
+++ b/testsuite/tests/warnings/should_compile/T13256.stderr-ws-32
@@ -1,3 +1,3 @@
 
-T13256.hs:4:12: warning: [-Woverflowed-literals (in -Wdefault)]
+T13256.hs:4:12: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 100000000000000000000000000000000 is out of the Int range -2147483648..2147483647
diff --git a/testsuite/tests/warnings/should_compile/T13256.stderr-ws-64 b/testsuite/tests/warnings/should_compile/T13256.stderr-ws-64
index 6b06a7d093..454744b75e 100644
--- a/testsuite/tests/warnings/should_compile/T13256.stderr-ws-64
+++ b/testsuite/tests/warnings/should_compile/T13256.stderr-ws-64
@@ -1,3 +1,3 @@
 
-T13256.hs:4:12: warning: [-Woverflowed-literals (in -Wdefault)]
+T13256.hs:4:12: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 100000000000000000000000000000000 is out of the Int range -9223372036854775808..9223372036854775807
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727a.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727a.stderr
index 383b6df7bd..d34450454a 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727a.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727a.stderr
@@ -1,7 +1,7 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         M1
-[1 of 3] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 3] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 3] Linking src-exe/Main
+[1 of 3] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 3] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 3] Linking src-exe\Main.exe
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727b.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727b.stderr
index 383b6df7bd..d34450454a 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727b.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727b.stderr
@@ -1,7 +1,7 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         M1
-[1 of 3] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 3] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 3] Linking src-exe/Main
+[1 of 3] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 3] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 3] Linking src-exe\Main.exe
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727f.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727f.stderr
index 9d084b94f6..165cd8100b 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727f.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727f.stderr
@@ -1,8 +1,8 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         M1 Main
-[1 of 4] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 4] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 4] Compiling AltMain          ( src-exe/AltMain.hs, src-exe/AltMain.o )
-[4 of 4] Linking src-exe/AltMain
+[1 of 4] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 4] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 4] Compiling AltMain          ( src-exe\AltMain.hs, src-exe\AltMain.o )
+[4 of 4] Linking src-exe\AltMain.exe
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727g.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727g.stderr
index 9d084b94f6..165cd8100b 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727g.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727g.stderr
@@ -1,8 +1,8 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         M1 Main
-[1 of 4] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 4] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 4] Compiling AltMain          ( src-exe/AltMain.hs, src-exe/AltMain.o )
-[4 of 4] Linking src-exe/AltMain
+[1 of 4] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 4] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 4] Compiling AltMain          ( src-exe\AltMain.hs, src-exe\AltMain.o )
+[4 of 4] Linking src-exe\AltMain.exe
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727h.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727h.stderr
index b627f7eaf5..3cbbcc1b9f 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727h.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727h.stderr
@@ -1,8 +1,8 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         M1
-[1 of 4] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 4] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 4] Compiling AltMain          ( src-exe/AltMain.hs, src-exe/AltMain.o )
-[4 of 4] Linking src-exe/AltMain
+[1 of 4] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 4] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 4] Compiling AltMain          ( src-exe\AltMain.hs, src-exe\AltMain.o )
+[4 of 4] Linking src-exe\AltMain.exe
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727i.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727i.stderr
index b627f7eaf5..3cbbcc1b9f 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727i.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727i.stderr
@@ -1,8 +1,8 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         M1
-[1 of 4] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 4] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 4] Compiling AltMain          ( src-exe/AltMain.hs, src-exe/AltMain.o )
-[4 of 4] Linking src-exe/AltMain
+[1 of 4] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 4] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 4] Compiling AltMain          ( src-exe\AltMain.hs, src-exe\AltMain.o )
+[4 of 4] Linking src-exe\AltMain.exe
diff --git a/testsuite/tests/warnings/should_compile/T13727/T13727j.stderr b/testsuite/tests/warnings/should_compile/T13727/T13727j.stderr
index 685860db43..bf4f360054 100644
--- a/testsuite/tests/warnings/should_compile/T13727/T13727j.stderr
+++ b/testsuite/tests/warnings/should_compile/T13727/T13727j.stderr
@@ -1,8 +1,8 @@
 
-<no location info>: warning: [-Wmissing-home-modules]
+<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
     Modules are not listed in command line but needed for compilation: 
         Main
-[1 of 4] Compiling M1               ( src-lib/M1.hs, src-lib/M1.o )
-[2 of 4] Compiling Main             ( src-exe/Main.hs, src-exe/Main.o )
-[3 of 4] Compiling AltMain          ( src-exe/AltMain.hs, src-exe/AltMain.o )
-[4 of 4] Linking src-exe/AltMain
+[1 of 4] Compiling M1               ( src-lib\M1.hs, src-lib\M1.o )
+[2 of 4] Compiling Main             ( src-exe\Main.hs, src-exe\Main.o )
+[3 of 4] Compiling AltMain          ( src-exe\AltMain.hs, src-exe\AltMain.o )
+[4 of 4] Linking src-exe\AltMain.exe
diff --git a/testsuite/tests/warnings/should_compile/T14794a.stderr b/testsuite/tests/warnings/should_compile/T14794a.stderr
index 807a070350..8bbe40280f 100644
--- a/testsuite/tests/warnings/should_compile/T14794a.stderr
+++ b/testsuite/tests/warnings/should_compile/T14794a.stderr
@@ -1,6 +1,6 @@
 
-T14794a.hs:8:1: warning: [-Wmissing-signatures (in -Wall)]
+T14794a.hs:8:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: testExported :: Bool
 
-T14794a.hs:10:1: warning: [-Wmissing-signatures (in -Wall)]
+T14794a.hs:10:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: testUnexported :: Bool
diff --git a/testsuite/tests/warnings/should_compile/T14794b.stderr b/testsuite/tests/warnings/should_compile/T14794b.stderr
index 8f7f7e805b..de8fa5b83a 100644
--- a/testsuite/tests/warnings/should_compile/T14794b.stderr
+++ b/testsuite/tests/warnings/should_compile/T14794b.stderr
@@ -1,3 +1,3 @@
 
-T14794b.hs:8:1: warning: [-Wmissing-exported-signatures]
+T14794b.hs:8:1: warning: [GHC-38417] [-Wmissing-exported-signatures]
     Top-level binding with no type signature: testExported :: Bool
diff --git a/testsuite/tests/warnings/should_compile/T14794c.stderr b/testsuite/tests/warnings/should_compile/T14794c.stderr
index 413eea960f..e909432cfc 100644
--- a/testsuite/tests/warnings/should_compile/T14794c.stderr
+++ b/testsuite/tests/warnings/should_compile/T14794c.stderr
@@ -1,6 +1,6 @@
 
-T14794c.hs:8:1: warning: [-Wmissing-signatures (in -Wall)]
+T14794c.hs:8:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: testExported :: Bool
 
-T14794c.hs:10:1: warning: [-Wmissing-signatures (in -Wall)]
+T14794c.hs:10:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: testUnexported :: Bool
diff --git a/testsuite/tests/warnings/should_compile/T14794d.stderr b/testsuite/tests/warnings/should_compile/T14794d.stderr
index 61177b520e..b2fea47622 100644
--- a/testsuite/tests/warnings/should_compile/T14794d.stderr
+++ b/testsuite/tests/warnings/should_compile/T14794d.stderr
@@ -1,8 +1,8 @@
 
-T14794d.hs:8:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
+T14794d.hs:8:1: warning: [GHC-38417] [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Pattern synonym with no type signature:
       pattern TestExported :: Bool
 
-T14794d.hs:10:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
+T14794d.hs:10:1: warning: [GHC-38417] [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Pattern synonym with no type signature:
       pattern TestUnexported :: Bool
diff --git a/testsuite/tests/warnings/should_compile/T14794e.stderr b/testsuite/tests/warnings/should_compile/T14794e.stderr
index b7c70b6e51..5ed8dff62c 100644
--- a/testsuite/tests/warnings/should_compile/T14794e.stderr
+++ b/testsuite/tests/warnings/should_compile/T14794e.stderr
@@ -1,4 +1,4 @@
 
-T14794e.hs:8:1: warning: [-Wmissing-exported-pattern-synonym-signatures]
+T14794e.hs:8:1: warning: [GHC-38417] [-Wmissing-exported-pattern-synonym-signatures]
     Pattern synonym with no type signature:
       pattern TestExported :: Bool
diff --git a/testsuite/tests/warnings/should_compile/T14794f.stderr b/testsuite/tests/warnings/should_compile/T14794f.stderr
index fd138d5911..0f67355151 100644
--- a/testsuite/tests/warnings/should_compile/T14794f.stderr
+++ b/testsuite/tests/warnings/should_compile/T14794f.stderr
@@ -1,8 +1,8 @@
 
-T14794f.hs:8:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
+T14794f.hs:8:1: warning: [GHC-38417] [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Pattern synonym with no type signature:
       pattern TestExported :: Bool
 
-T14794f.hs:10:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
+T14794f.hs:10:1: warning: [GHC-38417] [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Pattern synonym with no type signature:
       pattern TestUnexported :: Bool
diff --git a/testsuite/tests/warnings/should_compile/T15460.stderr-ws-32 b/testsuite/tests/warnings/should_compile/T15460.stderr-ws-32
index 2859116da8..91a87092d4 100644
--- a/testsuite/tests/warnings/should_compile/T15460.stderr-ws-32
+++ b/testsuite/tests/warnings/should_compile/T15460.stderr-ws-32
@@ -1,3 +1,3 @@
 
-T15460.hs:8:16: warning: [-Woverflowed-literals (in -Wdefault)]
+T15460.hs:8:16: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 7237005577332262213973186563042994240829374041602535252466099000494570602495 is out of the GHC.Prim.Int# range -2147483648..2147483647
diff --git a/testsuite/tests/warnings/should_compile/T15460.stderr-ws-64 b/testsuite/tests/warnings/should_compile/T15460.stderr-ws-64
index 5907b44320..296a01aa41 100644
--- a/testsuite/tests/warnings/should_compile/T15460.stderr-ws-64
+++ b/testsuite/tests/warnings/should_compile/T15460.stderr-ws-64
@@ -1,3 +1,3 @@
 
-T15460.hs:8:16: warning: [-Woverflowed-literals (in -Wdefault)]
+T15460.hs:8:16: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)]
     Literal 7237005577332262213973186563042994240829374041602535252466099000494570602495 is out of the GHC.Prim.Int# range -9223372036854775808..9223372036854775807
diff --git a/testsuite/tests/warnings/should_compile/T18402.stderr b/testsuite/tests/warnings/should_compile/T18402.stderr
index 1fe12832c9..0b2853bf56 100644
--- a/testsuite/tests/warnings/should_compile/T18402.stderr
+++ b/testsuite/tests/warnings/should_compile/T18402.stderr
@@ -1,9 +1,9 @@
 
-T18402.hs:3:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T18402.hs:3:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
 
-T18402.hs:4:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T18402.hs:4:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
 
-T18402.hs:5:5: warning: [-Wempty-enumerations (in -Wdefault)]
+T18402.hs:5:5: warning: [GHC-10190] [-Wempty-enumerations (in -Wdefault)]
     Enumeration is empty
diff --git a/testsuite/tests/warnings/should_compile/T18862a.stderr b/testsuite/tests/warnings/should_compile/T18862a.stderr
index e2a6fe3f3c..2a60962bcb 100644
--- a/testsuite/tests/warnings/should_compile/T18862a.stderr
+++ b/testsuite/tests/warnings/should_compile/T18862a.stderr
@@ -1,5 +1,5 @@
 
-T18862a.hs:5:9: warning: [-Wtype-equality-requires-operators (in -Wdefault)]
+T18862a.hs:5:9: warning: [GHC-58520] [-Wtype-equality-requires-operators (in -Wdefault)]
     The use of ‘~’ without TypeOperators
     will become an error in a future GHC release.
     Suggested fix: Perhaps you intended to use TypeOperators
diff --git a/testsuite/tests/warnings/should_compile/T18862b.stderr b/testsuite/tests/warnings/should_compile/T18862b.stderr
index ac959be7d8..8f0514131b 100644
--- a/testsuite/tests/warnings/should_compile/T18862b.stderr
+++ b/testsuite/tests/warnings/should_compile/T18862b.stderr
@@ -1,5 +1,5 @@
 
-T18862b.hs:7:9: warning: [-Wtype-equality-out-of-scope (in -Wcompat)]
+T18862b.hs:7:9: warning: [GHC-12003] [-Wtype-equality-out-of-scope (in -Wcompat)]
     • The ‘~’ operator is out of scope.
       Assuming it to stand for an equality constraint.
     • NB: ‘~’ used to be built-in syntax but now is a regular type operator
diff --git a/testsuite/tests/warnings/should_compile/T19296.stderr b/testsuite/tests/warnings/should_compile/T19296.stderr
index e76c0cbbef..1fb1f7fe13 100644
--- a/testsuite/tests/warnings/should_compile/T19296.stderr
+++ b/testsuite/tests/warnings/should_compile/T19296.stderr
@@ -1,31 +1,31 @@
 
-T19296.hs:6:6: warning: [-Wredundant-constraints]
-    • Redundant constraint: Eq a
-    • In the type signature for:
-           f :: forall a. Eq a => a -> ()
+T19296.hs:6:6: warning: [GHC-30606] [-Wredundant-constraints]
+    Redundant constraint: Eq a
+    In the type signature for:
+         f :: forall a. Eq a => a -> ()
   |
 6 | f :: Eq a => a -> ()
   |      ^^^^
 
-T19296.hs:10:21: warning: [-Wredundant-constraints]
+T19296.hs:10:21: warning: [GHC-30606] [-Wredundant-constraints]
     • Redundant constraint: Eq a
-    • In an expression type signature:
+      In an expression type signature:
            forall a1. Eq a1 => a1 -> ()
-      In the expression: (\ x -> ()) :: Eq a => a -> ()
+    • In the expression: (\ x -> ()) :: Eq a => a -> ()
       In an equation for ‘g’: g _ = (\ x -> ()) :: Eq a => a -> ()
    |
 10 | g _ = (\x -> ()) :: Eq a => a -> ()
    |                     ^^^^
 
-T19296.hs:13:6: warning: [-Wredundant-constraints]
-    • Redundant constraint: Eq a
-    • In the type signature for:
-           h :: forall a b. (Eq a, Ord b) => a -> b -> b
+T19296.hs:13:6: warning: [GHC-30606] [-Wredundant-constraints]
+    Redundant constraint: Eq a
+    In the type signature for:
+         h :: forall a b. (Eq a, Ord b) => a -> b -> b
    |
 13 | h :: (Eq a, Ord b) => a -> b -> b
    |      ^^^^^^^^^^^^^
 
-T19296.hs:21:1: warning:
+T19296.hs:21:1: warning: [GHC-40548]
     Forall'd constraint ‘Eq a’ is not bound in RULE lhs
       Orig bndrs: [a, $dEq]
       Orig lhs: let {
@@ -38,28 +38,28 @@ T19296.hs:21:1: warning:
 21 | {-# SPECIALISE spec :: Eq a => a -> Int -> Int #-}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-T19296.hs:21:24: warning: [-Wredundant-constraints]
+T19296.hs:21:24: warning: [GHC-30606] [-Wredundant-constraints]
     • Redundant constraint: Eq a
-    • In the type signature for:
+      In the type signature for:
            spec :: forall a. Eq a => a -> Int -> Int
-      In the pragma: {-# SPECIALISE spec :: Eq a => a -> Int -> Int #-}
+    • In the pragma: {-# SPECIALISE spec :: Eq a => a -> Int -> Int #-}
    |
 21 | {-# SPECIALISE spec :: Eq a => a -> Int -> Int #-}
    |                        ^^^^
 
-T19296.hs:31:20: warning: [-Wredundant-constraints]
-    • Redundant constraint: Show a
-    • In the type signature for:
-           foo :: Show a => [a]
+T19296.hs:31:20: warning: [GHC-30606] [-Wredundant-constraints]
+    Redundant constraint: Show a
+    In the type signature for:
+         foo :: Show a => [a]
    |
 31 |     default foo :: Show a => [a]
    |                    ^^^^^^
 
-T19296.hs:39:12: warning: [-Wredundant-constraints]
+T19296.hs:39:12: warning: [GHC-30606] [-Wredundant-constraints]
     • Redundant constraints: (Eq b, Ord b)
-    • In the type signature for:
+      In the type signature for:
            bar :: forall b. (Eq b, Ord b) => Int -> b -> Int
-      In the instance declaration for ‘Bar Int’
+    • In the instance declaration for ‘Bar Int’
    |
 39 |     bar :: (Eq b, Ord b) => Int -> b -> Int
    |            ^^^^^^^^^^^^^
diff --git a/testsuite/tests/warnings/should_compile/T19564a.stderr b/testsuite/tests/warnings/should_compile/T19564a.stderr
index f64805fa31..cce4e63dd5 100644
--- a/testsuite/tests/warnings/should_compile/T19564a.stderr
+++ b/testsuite/tests/warnings/should_compile/T19564a.stderr
@@ -1,36 +1,36 @@
 
-T19564a.hs:7:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:7:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Id :: * -> *
 
-T19564a.hs:11:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:11:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Alt :: (* -> *) -> Constraint
 
-T19564a.hs:15:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:15:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Arr :: * -> * -> *
 
-T19564a.hs:16:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:16:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type B :: *
 
-T19564a.hs:19:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:19:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type YesNo :: *
 
-T19564a.hs:20:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:20:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type V2 :: * -> *
 
-T19564a.hs:23:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:23:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Free :: (* -> *) -> * -> *
 
-T19564a.hs:28:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:28:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type D1 :: * -> *
 
-T19564a.hs:31:1: warning: [-Wmissing-kind-signatures]
+T19564a.hs:31:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type C :: forall {k}. k -> Constraint
diff --git a/testsuite/tests/warnings/should_compile/T19564c.stderr b/testsuite/tests/warnings/should_compile/T19564c.stderr
index 587ea089fc..ca5a0279ef 100644
--- a/testsuite/tests/warnings/should_compile/T19564c.stderr
+++ b/testsuite/tests/warnings/should_compile/T19564c.stderr
@@ -1,36 +1,36 @@
 
-T19564c.hs:9:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:9:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Id :: * -> *
 
-T19564c.hs:13:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:13:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Alt :: (* -> *) -> Constraint
 
-T19564c.hs:17:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:17:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Arr :: * -> * -> *
 
-T19564c.hs:18:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:18:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type B :: *
 
-T19564c.hs:21:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:21:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type YesNo :: *
 
-T19564c.hs:22:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:22:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type V2 :: * -> *
 
-T19564c.hs:25:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:25:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type Free :: (* -> *) -> * -> *
 
-T19564c.hs:30:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:30:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type D1 :: * -> *
 
-T19564c.hs:33:1: warning: [-Wmissing-kind-signatures]
+T19564c.hs:33:1: warning: [GHC-38417] [-Wmissing-kind-signatures]
     Top-level type constructor with no standalone kind signature:
       type C :: * -> Constraint
diff --git a/testsuite/tests/warnings/should_compile/T9178.stderr b/testsuite/tests/warnings/should_compile/T9178.stderr
index 769452c2b0..ca2af9a850 100644
--- a/testsuite/tests/warnings/should_compile/T9178.stderr
+++ b/testsuite/tests/warnings/should_compile/T9178.stderr
@@ -1,8 +1,8 @@
 [1 of 2] Compiling T9178DataType    ( T9178DataType.hs, T9178DataType.o )
 [2 of 2] Compiling T9178            ( T9178.hs, T9178.o )
 
-T9178.hs:8:1: warning: [-Worphans (in -Wall)]
+T9178.hs:8:1: warning: [GHC-90177] [-Worphans (in -Wall)]
     Orphan instance: instance Show T9178_Type
     Suggested fix:
-        Move the instance declaration to the module of the class or of the type, or
-        wrap the type with a newtype and declare the instance on the new type.
+      Move the instance declaration to the module of the class or of the type, or
+      wrap the type with a newtype and declare the instance on the new type.
diff --git a/testsuite/tests/warnings/should_compile/T9230.stderr b/testsuite/tests/warnings/should_compile/T9230.stderr
index 208002033b..e1411dcfb8 100644
--- a/testsuite/tests/warnings/should_compile/T9230.stderr
+++ b/testsuite/tests/warnings/should_compile/T9230.stderr
@@ -1,4 +1,4 @@
 
-T9230.hs:5:1: warning: [-Wtabs (in -Wdefault)]
+T9230.hs:5:1: warning: [GHC-94817] [-Wtabs (in -Wdefault)]
     Tab character found here.
     Suggested fix: Please use spaces instead.
diff --git a/testsuite/tests/warnings/should_compile/UnusedPackages.stderr b/testsuite/tests/warnings/should_compile/UnusedPackages.stderr
index f86b09b82a..6323ede3ff 100644
--- a/testsuite/tests/warnings/should_compile/UnusedPackages.stderr
+++ b/testsuite/tests/warnings/should_compile/UnusedPackages.stderr
@@ -1,9 +1,9 @@
 
-<no location info>: warning: [-Wunused-packages]
+<no location info>: warning: [GHC-42258] [-Wunused-packages]
     The following packages were specified via -package or -package-id flags,
     but were not needed for compilation:
       - bytestring-0.11.3.0 (exposed by flag -package bytestring)
-      - ghc-9.3 (exposed by flag -package ghc)
+      - ghc-9.5 (exposed by flag -package ghc)
       - process-1.6.14.0 (exposed by flag -package process)
 [1 of 2] Compiling Main             ( UnusedPackages.hs, UnusedPackages.o )
-[2 of 2] Linking UnusedPackages
+[2 of 2] Linking UnusedPackages.exe
diff --git a/testsuite/tests/warnings/should_compile/Werror01.stderr b/testsuite/tests/warnings/should_compile/Werror01.stderr
index 1cebb3f0d0..85c01ed19b 100644
--- a/testsuite/tests/warnings/should_compile/Werror01.stderr
+++ b/testsuite/tests/warnings/should_compile/Werror01.stderr
@@ -1,3 +1,3 @@
 
-Werror01.hs:5:1: warning: [-Wmissing-signatures (in -Wall)]
+Werror01.hs:5:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: foo :: () -> ()
diff --git a/testsuite/tests/warnings/should_compile/Werror02.stderr b/testsuite/tests/warnings/should_compile/Werror02.stderr
index c33037caae..e3183a7207 100644
--- a/testsuite/tests/warnings/should_compile/Werror02.stderr
+++ b/testsuite/tests/warnings/should_compile/Werror02.stderr
@@ -1,2 +1,3 @@
-Werror02.hs:5:1: warning: [-Wmissing-signatures (in -Wall)]
+
+Werror02.hs:5:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: foo :: () -> ()
diff --git a/testsuite/tests/warnings/should_fail/CaretDiagnostics1.stderr b/testsuite/tests/warnings/should_fail/CaretDiagnostics1.stderr
index 3f0a4f350b..354ccadaa0 100644
--- a/testsuite/tests/warnings/should_fail/CaretDiagnostics1.stderr
+++ b/testsuite/tests/warnings/should_fail/CaretDiagnostics1.stderr
@@ -1,5 +1,5 @@
 
-CaretDiagnostics1.hs:7:8-15: error:
+CaretDiagnostics1.hs:7:8-15: error: [GHC-83865]
     • Couldn't match expected type ‘IO a0’ with actual type ‘Int’
     • In the second argument of ‘(+)’, namely ‘(3 :: Int)’
       In a stmt of a 'do' block:
@@ -11,7 +11,7 @@ CaretDiagnostics1.hs:7:8-15: error:
 7 |       (3 :: Int)
   |        ^^^^^^^^
 
-CaretDiagnostics1.hs:8:9-27: error:
+CaretDiagnostics1.hs:8:9-27: error: [GHC-83865]
     • Couldn't match type ‘[Char]’ with ‘()’
       Expected: ()
         Actual: String
@@ -23,7 +23,7 @@ CaretDiagnostics1.hs:8:9-27: error:
 8 |   pure ("this is not an IO" + (            ))
   |         ^^^^^^^^^^^^^^^^^^^
 
-CaretDiagnostics1.hs:13:7-11: error:
+CaretDiagnostics1.hs:13:7-11: error: [GHC-83865]
     • Couldn't match type: a1 -> a1
                      with: [Char]
       Expected: a1 -> a1
@@ -35,7 +35,7 @@ CaretDiagnostics1.hs:13:7-11: error:
 13 |       "γηξ" -> (
    |       ^^^^^
 
-CaretDiagnostics1.hs:(13,16)-(14,13): error:
+CaretDiagnostics1.hs:(13,16)-(14,13): error: [GHC-83865]
     • Couldn't match expected type ‘Char -> t0’ with actual type ‘()’
     • The function ‘()’ is applied to one value argument,
         but its type ‘()’ has none
@@ -45,7 +45,7 @@ CaretDiagnostics1.hs:(13,16)-(14,13): error:
 13 |       "γηξ" -> (
    |                ^...
 
-CaretDiagnostics1.hs:17:7-8: error:
+CaretDiagnostics1.hs:17:7-8: error: [GHC-83865]
     • Couldn't match expected type ‘Int’ with actual type ‘()’
     • In the expression: ()
       In an equation for ‘fóo’: fóo = ()
@@ -53,7 +53,7 @@ CaretDiagnostics1.hs:17:7-8: error:
 17 | fóo = ()
    |       ^^
 
-CaretDiagnostics1.hs:20:17-18: error:
+CaretDiagnostics1.hs:20:17-18: error: [GHC-83865]
     • Couldn't match expected type ‘Int’ with actual type ‘()’
     • In the expression: ()
       In an equation for ‘tabby’: tabby = ()
@@ -61,7 +61,7 @@ CaretDiagnostics1.hs:20:17-18: error:
 20 | tabby =         ()
    |                 ^^
 
-CaretDiagnostics1.hs:23:25-26: error:
+CaretDiagnostics1.hs:23:25-26: error: [GHC-83865]
     • Couldn't match expected type ‘Int’ with actual type ‘()’
     • In the expression: ()
       In an equation for ‘tabby2’: tabby2 = ()
diff --git a/testsuite/tests/warnings/should_fail/CaretDiagnostics2.stderr b/testsuite/tests/warnings/should_fail/CaretDiagnostics2.stderr
index 713f9246a5..ecae2ac6de 100644
--- a/testsuite/tests/warnings/should_fail/CaretDiagnostics2.stderr
+++ b/testsuite/tests/warnings/should_fail/CaretDiagnostics2.stderr
@@ -1,5 +1,5 @@
 
-CaretDiagnostics2.hs:3:1: error:
+CaretDiagnostics2.hs:3:1: error: [GHC-21231]
     lexical error (UTF-8 decoding error)
   |
 3 | �&l��5k�
diff --git a/testsuite/tests/warnings/should_fail/Colour.stderr b/testsuite/tests/warnings/should_fail/Colour.stderr
index 8631313a7b..79b3ef9683 100644
--- a/testsuite/tests/warnings/should_fail/Colour.stderr
+++ b/testsuite/tests/warnings/should_fail/Colour.stderr
@@ -1,5 +1,5 @@
 
-Colour.hs:1:8: error:
+Colour.hs:1:8: error: [GHC-83865]
     • Couldn't match expected type ‘IO ()’ with actual type ‘()’
     • In the expression: () :: IO ()
       In an equation for ‘main’: main = () :: IO ()
diff --git a/testsuite/tests/warnings/should_fail/T20263.stderr b/testsuite/tests/warnings/should_fail/T20263.stderr
index 5d7b260959..b252ac2e2d 100644
--- a/testsuite/tests/warnings/should_fail/T20263.stderr
+++ b/testsuite/tests/warnings/should_fail/T20263.stderr
@@ -1,5 +1,5 @@
 
-T20263.hs:2:17: error: [-Wunicode-bidirectional-format-characters (in -Wdefault), -Werror=unicode-bidirectional-format-characters]
+T20263.hs:2:17: error: [GHC-03272] [-Wunicode-bidirectional-format-characters (in -Wdefault), Werror=unicode-bidirectional-format-characters]
     A unicode bidirectional formatting character (U+2067 RIGHT-TO-LEFT ISOLATE (RLI))
     was found at offset 30 in the file
     along with further bidirectional formatting characters at offset 31: U+2066 LEFT-TO-RIGHT ISOLATE (LRI)
diff --git a/testsuite/tests/warnings/should_fail/WerrorFail.stderr b/testsuite/tests/warnings/should_fail/WerrorFail.stderr
index 03e93567bc..4046bb4ae0 100644
--- a/testsuite/tests/warnings/should_fail/WerrorFail.stderr
+++ b/testsuite/tests/warnings/should_fail/WerrorFail.stderr
@@ -1,5 +1,5 @@
 
-WerrorFail.hs:6:1: error: [-Wincomplete-patterns (in -Wextra), -Werror=incomplete-patterns]
+WerrorFail.hs:6:1: error: [GHC-62161] [-Wincomplete-patterns (in -Wextra), Werror=incomplete-patterns]
     Pattern match(es) are non-exhaustive
     In an equation for ‘foo’:
-        Patterns of type  ‘Maybe a’ not matched: Just _
+        Patterns of type ‘Maybe a’ not matched: Just _
diff --git a/testsuite/tests/warnings/should_fail/WerrorFail2.stderr b/testsuite/tests/warnings/should_fail/WerrorFail2.stderr
index c3bc935392..732f568e6a 100644
--- a/testsuite/tests/warnings/should_fail/WerrorFail2.stderr
+++ b/testsuite/tests/warnings/should_fail/WerrorFail2.stderr
@@ -1,15 +1,15 @@
 
-WerrorFail2.hs:15:1: warning: [-Wmissing-signatures (in -Wall)]
+WerrorFail2.hs:15:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: sInt :: S -> Int
 
-WerrorFail2.hs:15:10: error: [-Wincomplete-patterns (in -Wextra), -Werror=incomplete-patterns]
+WerrorFail2.hs:15:10: error: [GHC-62161] [-Wincomplete-patterns (in -Wextra), Werror=incomplete-patterns]
     Pattern match(es) are non-exhaustive
     In a case alternative: Patterns of type ‘S’ not matched: C2 _
 
-WerrorFail2.hs:19:1: warning: [-Wmissing-signatures (in -Wall)]
+WerrorFail2.hs:19:1: warning: [GHC-38417] [-Wmissing-signatures (in -Wall)]
     Top-level binding with no type signature: printRec :: IO ()
 
-WerrorFail2.hs:19:18: error: [-Wmissing-fields (in -Wdefault), -Werror=missing-fields]
+WerrorFail2.hs:19:18: error: [GHC-20125] [-Wmissing-fields (in -Wdefault), Werror=missing-fields]
     • Fields of ‘Rec’ not initialised:
         f2 :: Int
     • In the first argument of ‘print’, namely ‘Rec {f1 = 1}’