Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)

Replaces uses of `TcRnUnknownMessage` in `GHC.Tc.Gen.Splice` with
structured diagnostics.

closes #20116

51 files changed, 57 insertions, 54 deletions

diff --git a/testsuite/tests/annotations/should_fail/annfail12.stderr b/testsuite/tests/annotations/should_fail/annfail12.stderr
index 303645914e..d9f2bbab77 100644
--- a/testsuite/tests/annotations/should_fail/annfail12.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail12.stderr
@@ -1,5 +1,5 @@
 
-annfail12.hs:5:1: error:
+annfail12.hs:5:1: error: [GHC-87897]
     Exception when trying to run compile-time code:
       You were meant to see this error!
 CallStack (from ImplicitParams):
diff --git a/testsuite/tests/perf/compiler/MultiLayerModulesTH_Make.stderr b/testsuite/tests/perf/compiler/MultiLayerModulesTH_Make.stderr
index 4a1b876638..bac52e7368 100644
--- a/testsuite/tests/perf/compiler/MultiLayerModulesTH_Make.stderr
+++ b/testsuite/tests/perf/compiler/MultiLayerModulesTH_Make.stderr
@@ -1,5 +1,5 @@
 
-MultiLayerModules.hs:334:8: error:
+MultiLayerModules.hs:334:8: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         deliberate error
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/perf/compiler/MultiLayerModulesTH_OneShot.stderr b/testsuite/tests/perf/compiler/MultiLayerModulesTH_OneShot.stderr
index a958aceeea..c95319d9c2 100644
--- a/testsuite/tests/perf/compiler/MultiLayerModulesTH_OneShot.stderr
+++ b/testsuite/tests/perf/compiler/MultiLayerModulesTH_OneShot.stderr
@@ -1,5 +1,5 @@
 
-MultiLayerModulesTH_OneShot.hs:334:8: error:
+MultiLayerModulesTH_OneShot.hs:334:8: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         deliberate error
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/showIface/should_fail/THPutDocExternal.stderr b/testsuite/tests/showIface/should_fail/THPutDocExternal.stderr
index 3063fe9350..135a9faa82 100644
--- a/testsuite/tests/showIface/should_fail/THPutDocExternal.stderr
+++ b/testsuite/tests/showIface/should_fail/THPutDocExternal.stderr
@@ -1,2 +1,3 @@
-THPutDocExternal.hs:8:1:
+
+THPutDocExternal.hs:8:1: error: [GHC-67760]
     Can't add documentation to THPutDocExternalA.f as it isn't inside the current module
diff --git a/testsuite/tests/showIface/should_fail/THPutDocNonExistent.stderr b/testsuite/tests/showIface/should_fail/THPutDocNonExistent.stderr
index ce3a64a1d9..818d1312a7 100644
--- a/testsuite/tests/showIface/should_fail/THPutDocNonExistent.stderr
+++ b/testsuite/tests/showIface/should_fail/THPutDocNonExistent.stderr
@@ -1,2 +1,3 @@
-THPutDocNonExistent.hs:10:1:
+
+THPutDocNonExistent.hs:10:1: error: [GHC-49530]
     Couldn't find any instances of THPutDocNonExistent.A THPutDocNonExistent.B to add documentation to
diff --git a/testsuite/tests/th/ClosedFam1TH.stderr b/testsuite/tests/th/ClosedFam1TH.stderr
index 0ffa3428e7..bc00cc8eff 100644
--- a/testsuite/tests/th/ClosedFam1TH.stderr
+++ b/testsuite/tests/th/ClosedFam1TH.stderr
@@ -1,5 +1,5 @@
 
-ClosedFam1TH.hs:7:2: warning:
+ClosedFam1TH.hs:7:2: warning: [GHC-39584]
     type family Foo_0 a_1 (b_2 :: k_3) where
     Foo_0 GHC.Types.Int GHC.Types.Bool = GHC.Types.Int
     Foo_0 a_4 GHC.Maybe.Maybe = GHC.Types.Bool
diff --git a/testsuite/tests/th/T10279.stderr b/testsuite/tests/th/T10279.stderr
index 45c17432e1..5993cdbf82 100644
--- a/testsuite/tests/th/T10279.stderr
+++ b/testsuite/tests/th/T10279.stderr
@@ -1,5 +1,5 @@
 
-T10279.hs:10:9: error:
+T10279.hs:10:9: error: [GHC-52243]
     • Failed to load interface for ‘A’
       no unit id matching ‘rts-1.0.2’ was found
       (This unit ID looks like the source package ID;
diff --git a/testsuite/tests/th/T10796b.stderr b/testsuite/tests/th/T10796b.stderr
index 84a03ddc86..fb0dce6a8c 100644
--- a/testsuite/tests/th/T10796b.stderr
+++ b/testsuite/tests/th/T10796b.stderr
@@ -1,5 +1,5 @@
 
-T10796b.hs:8:15: error:
+T10796b.hs:8:15: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         Can't construct a pattern from name Data.Set.Internal.fromList
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/th/T10828a.stderr b/testsuite/tests/th/T10828a.stderr
index 6f2b16465a..52ee4f4be1 100644
--- a/testsuite/tests/th/T10828a.stderr
+++ b/testsuite/tests/th/T10828a.stderr
@@ -1,4 +1,4 @@
 
-T10828a.hs:9:2: error:
+T10828a.hs:9:2: error: [GHC-40746]
     Kind signatures are only allowed on GADTs
     When splicing a TH declaration: data T a :: * = MkT a a
diff --git a/testsuite/tests/th/T10828b.stderr b/testsuite/tests/th/T10828b.stderr
index e5f36906f7..357c86c458 100644
--- a/testsuite/tests/th/T10828b.stderr
+++ b/testsuite/tests/th/T10828b.stderr
@@ -1,5 +1,5 @@
 
-T10828b.hs:9:2: error:
+T10828b.hs:9:2: error: [GHC-24104]
     Cannot mix GADT constructors with Haskell 98 constructors
     When splicing a TH declaration:
       data T a :: *
diff --git a/testsuite/tests/th/T11452.stderr b/testsuite/tests/th/T11452.stderr
index c0ed994d2d..28d0df4894 100644
--- a/testsuite/tests/th/T11452.stderr
+++ b/testsuite/tests/th/T11452.stderr
@@ -1,5 +1,5 @@
 
-T11452.hs:6:12: error:
+T11452.hs:6:12: error: [GHC-94642]
     • Illegal polytype: (forall a. a -> a) -> ()
       The type of a Typed Template Haskell expression must not have any quantification.
     • In the Template Haskell splice $$([|| \ _ -> () ||])
diff --git a/testsuite/tests/th/T12478_4.stderr b/testsuite/tests/th/T12478_4.stderr
index f061f5706a..2f1b3f4e50 100644
--- a/testsuite/tests/th/T12478_4.stderr
+++ b/testsuite/tests/th/T12478_4.stderr
@@ -1,5 +1,5 @@
 
-T12478_4.hs:7:7: error:
+T12478_4.hs:7:7: error: [GHC-97721]
     • Illegal sum arity: 1
         Sums must have an arity of at least 2
       When splicing a TH type: (#  #) GHC.Tuple.Prim.()
diff --git a/testsuite/tests/th/T15270A.stderr b/testsuite/tests/th/T15270A.stderr
index ba43e4dae8..3ecd5e03ec 100644
--- a/testsuite/tests/th/T15270A.stderr
+++ b/testsuite/tests/th/T15270A.stderr
@@ -1,5 +1,5 @@
 
-T15270A.hs:8:6: error:
+T15270A.hs:8:6: error: [GHC-55017]
     • Illegal data constructor name: ‘id’
       When splicing a TH expression: GHC.Base.id
     • In the untyped splice: $(conE 'id)
diff --git a/testsuite/tests/th/T15270B.stderr b/testsuite/tests/th/T15270B.stderr
index 8db1dc4b6d..8aa4c07579 100644
--- a/testsuite/tests/th/T15270B.stderr
+++ b/testsuite/tests/th/T15270B.stderr
@@ -1,5 +1,5 @@
 
-T15270B.hs:8:6: error:
+T15270B.hs:8:6: error: [GHC-55017]
     • Illegal variable name: ‘Just’
       When splicing a TH expression: GHC.Maybe.Just
     • In the untyped splice: $(varE 'Just)
diff --git a/testsuite/tests/th/T16895a.stderr b/testsuite/tests/th/T16895a.stderr
index 5a5222eb50..17a0f55ea8 100644
--- a/testsuite/tests/th/T16895a.stderr
+++ b/testsuite/tests/th/T16895a.stderr
@@ -1,5 +1,5 @@
 
-T16895a.hs:7:15: error:
+T16895a.hs:7:15: error: [GHC-99831]
     • Non-variable expression is not allowed in an infix expression
       When splicing a TH expression: 1 `GHC.Base.id GHC.Base.id` 2
     • In the untyped splice: $(uInfixE [| 1 |] [| id id |] [| 2 |])
diff --git a/testsuite/tests/th/T16895b.stderr b/testsuite/tests/th/T16895b.stderr
index 597736cad4..a63e256928 100644
--- a/testsuite/tests/th/T16895b.stderr
+++ b/testsuite/tests/th/T16895b.stderr
@@ -1,5 +1,5 @@
 
-T16895b.hs:7:15: error:
+T16895b.hs:7:15: error: [GHC-99831]
     • Non-variable expression is not allowed in an infix expression
       When splicing a TH expression: (`GHC.Base.id GHC.Base.id` 2)
     • In the untyped splice:
diff --git a/testsuite/tests/th/T16895c.stderr b/testsuite/tests/th/T16895c.stderr
index baa5e7526b..6629c60186 100644
--- a/testsuite/tests/th/T16895c.stderr
+++ b/testsuite/tests/th/T16895c.stderr
@@ -1,5 +1,5 @@
 
-T16895c.hs:7:15: error:
+T16895c.hs:7:15: error: [GHC-99831]
     • Non-variable expression is not allowed in an infix expression
       When splicing a TH expression: (1 `GHC.Base.id GHC.Base.id`)
     • In the untyped splice:
diff --git a/testsuite/tests/th/T16895d.stderr b/testsuite/tests/th/T16895d.stderr
index 2832aee9be..e080cb390a 100644
--- a/testsuite/tests/th/T16895d.stderr
+++ b/testsuite/tests/th/T16895d.stderr
@@ -1,5 +1,5 @@
 
-T16895d.hs:7:15: error:
+T16895d.hs:7:15: error: [GHC-99831]
     • Non-variable expression is not allowed in an infix expression
       When splicing a TH expression: 1 `GHC.Base.id GHC.Base.id` 2
     • In the untyped splice:
diff --git a/testsuite/tests/th/T16895e.stderr b/testsuite/tests/th/T16895e.stderr
index 43d7ac460e..7bed2c20db 100644
--- a/testsuite/tests/th/T16895e.stderr
+++ b/testsuite/tests/th/T16895e.stderr
@@ -1,5 +1,5 @@
 
-T16895e.hs:7:15: error:
+T16895e.hs:7:15: error: [GHC-99831]
     • Non-variable expression is not allowed in an infix expression
       When splicing a TH expression: (`GHC.Base.id GHC.Base.id`)
     • In the untyped splice: $(infixE Nothing [| id id |] Nothing)
diff --git a/testsuite/tests/th/T16976f.stderr b/testsuite/tests/th/T16976f.stderr
index ec107f2f24..f6722a0769 100644
--- a/testsuite/tests/th/T16976f.stderr
+++ b/testsuite/tests/th/T16976f.stderr
@@ -1,2 +1,3 @@
 
-T16976f.hs:5:1: error: ‘doesn'tExist’ is not in scope at a reify
+T16976f.hs:5:1: error: [GHC-24922]
+    ‘doesn'tExist’ is not in scope at a reify
diff --git a/testsuite/tests/th/T17379a.stderr b/testsuite/tests/th/T17379a.stderr
index feee281ac2..ebb899e750 100644
--- a/testsuite/tests/th/T17379a.stderr
+++ b/testsuite/tests/th/T17379a.stderr
@@ -1,4 +1,4 @@
 
-T17379a.hs:8:2: error:
+T17379a.hs:8:2: error: [GHC-38140]
     GadtC must have at least one constructor name
     When splicing a TH declaration: data T where :: T
diff --git a/testsuite/tests/th/T17379b.stderr b/testsuite/tests/th/T17379b.stderr
index 54285bde18..9a4aabc250 100644
--- a/testsuite/tests/th/T17379b.stderr
+++ b/testsuite/tests/th/T17379b.stderr
@@ -1,4 +1,4 @@
 
-T17379b.hs:8:2: error:
+T17379b.hs:8:2: error: [GHC-18816]
     RecGadtC must have at least one constructor name
     When splicing a TH declaration: data T where :: {} -> T
diff --git a/testsuite/tests/th/T18740d.stderr b/testsuite/tests/th/T18740d.stderr
index 65c9607e88..e10e3fe673 100644
--- a/testsuite/tests/th/T18740d.stderr
+++ b/testsuite/tests/th/T18740d.stderr
@@ -1,5 +1,5 @@
 
-T18740d.hs:17:7: error:
+T18740d.hs:17:7: error: [GHC-55017]
     • Illegal variable name: ‘Bool’
       When splicing a TH expression: GHC.Types.Bool
     • In the untyped splice: $(return (VarE ''Bool))
diff --git a/testsuite/tests/th/T19470.stderr b/testsuite/tests/th/T19470.stderr
index 86788d1b73..04d92ba65b 100644
--- a/testsuite/tests/th/T19470.stderr
+++ b/testsuite/tests/th/T19470.stderr
@@ -1,5 +1,5 @@
 
-<interactive>:2:10: error:
+<interactive>:2:10: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         Prelude.undefined
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/th/T19709d.stderr b/testsuite/tests/th/T19709d.stderr
index ea19ba8f4c..8599b05fbc 100644
--- a/testsuite/tests/th/T19709d.stderr
+++ b/testsuite/tests/th/T19709d.stderr
@@ -9,7 +9,7 @@ T19709d.hs:6:2: warning: [GHC-62161] [-Wincomplete-patterns (in -Wextra)]
             ('h':p:_) where p is not one of {'e'}
             ...
 
-T19709d.hs:1:1: error:
+T19709d.hs:1:1: error: [GHC-87897]
     Exception when trying to run compile-time code:
       T19709d.hs:6:2-46: Non-exhaustive patterns in case
 
diff --git a/testsuite/tests/th/T2597b.stderr b/testsuite/tests/th/T2597b.stderr
index aba3925113..9be4b602b9 100644
--- a/testsuite/tests/th/T2597b.stderr
+++ b/testsuite/tests/th/T2597b.stderr
@@ -1,5 +1,5 @@
 
-T2597b.hs:8:9: error:
+T2597b.hs:8:9: error: [GHC-34949]
     • Empty stmt list in do-block
       When splicing a TH expression: do
     • In the untyped splice: $mkBug2
diff --git a/testsuite/tests/th/T2674.stderr b/testsuite/tests/th/T2674.stderr
index 9c7f0baff7..10d0feb9c6 100644
--- a/testsuite/tests/th/T2674.stderr
+++ b/testsuite/tests/th/T2674.stderr
@@ -1,4 +1,4 @@
 
-T2674.hs:9:2: error:
+T2674.hs:9:2: error: [GHC-52078]
     Function binding for ‘foo’ has no equations
     When splicing a TH declaration: 
diff --git a/testsuite/tests/th/T3395.stderr b/testsuite/tests/th/T3395.stderr
index a9bcdbedba..d1a56d707d 100644
--- a/testsuite/tests/th/T3395.stderr
+++ b/testsuite/tests/th/T3395.stderr
@@ -1,5 +1,5 @@
 
-T3395.hs:6:8: error:
+T3395.hs:6:8: error: [GHC-47373]
     • Illegal last statement of a list comprehension:
         r1 <- undefined
       (It should be an expression.)
diff --git a/testsuite/tests/th/T5358.stderr b/testsuite/tests/th/T5358.stderr
index 4dfd36f8c4..adf00b5195 100644
--- a/testsuite/tests/th/T5358.stderr
+++ b/testsuite/tests/th/T5358.stderr
@@ -29,7 +29,7 @@ T5358.hs:10:21: error: [GHC-83865]
         x :: t (bound at T5358.hs:10:9)
         prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
 
-T5358.hs:14:12: error:
+T5358.hs:14:12: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         runTest called error: forall {t_0 :: *} . t_0 -> GHC.Types.Bool
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/th/T5976.stderr b/testsuite/tests/th/T5976.stderr
index 7d815f2b30..aef0061224 100644
--- a/testsuite/tests/th/T5976.stderr
+++ b/testsuite/tests/th/T5976.stderr
@@ -1,5 +1,5 @@
 
-T5976.hs:1:1: error:
+T5976.hs:1:1: error: [GHC-87897]
     Exception when trying to run compile-time code:
       bar
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/th/T7276.stderr b/testsuite/tests/th/T7276.stderr
index 4c73db695a..a17f7b3f35 100644
--- a/testsuite/tests/th/T7276.stderr
+++ b/testsuite/tests/th/T7276.stderr
@@ -1,5 +1,5 @@
 
-T7276.hs:6:5: error:
+T7276.hs:6:5: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         T7276.hs:6:8: error: [GHC-83865]
     • Couldn't match type ‘[Language.Haskell.TH.Syntax.Dec]’
diff --git a/testsuite/tests/th/T7276a.stdout b/testsuite/tests/th/T7276a.stdout
index 68f6791443..a199732f6f 100644
--- a/testsuite/tests/th/T7276a.stdout
+++ b/testsuite/tests/th/T7276a.stdout
@@ -6,7 +6,7 @@
     • In the expression: [d| a = () |] :: Q Exp
       In an equation for ‘x’: x = [d| a = () |] :: Q Exp
 
-<interactive>:1:1: error:
+<interactive>:1:1: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         <interactive>:3:9: error: [GHC-83865]
     • Couldn't match type ‘[Dec]’ with ‘Exp’
diff --git a/testsuite/tests/th/T7477.stderr b/testsuite/tests/th/T7477.stderr
index 7aee71ea74..0fd6f4fc3b 100644
--- a/testsuite/tests/th/T7477.stderr
+++ b/testsuite/tests/th/T7477.stderr
@@ -1,3 +1,3 @@
 
-T7477.hs:10:2: warning:
+T7477.hs:10:2: warning: [GHC-39584]
     type instance T7477.F GHC.Types.Int = GHC.Types.Bool
diff --git a/testsuite/tests/th/T7484.stderr b/testsuite/tests/th/T7484.stderr
index 5964a2f73c..0d67b6c25b 100644
--- a/testsuite/tests/th/T7484.stderr
+++ b/testsuite/tests/th/T7484.stderr
@@ -1,4 +1,4 @@
 
-T7484.hs:7:2: error:
+T7484.hs:7:2: error: [GHC-55017]
     Illegal variable name: ‘a ’
     When splicing a TH declaration: a  = 5
diff --git a/testsuite/tests/th/T7667a.stderr b/testsuite/tests/th/T7667a.stderr
index b9807f0e0c..c53ab42c75 100644
--- a/testsuite/tests/th/T7667a.stderr
+++ b/testsuite/tests/th/T7667a.stderr
@@ -1,5 +1,5 @@
 
-T7667a.hs:8:10: error:
+T7667a.hs:8:10: error: [GHC-55017]
     • Illegal variable name: ‘False’
       When splicing a TH expression: False
     • In the untyped splice: $(return $ VarE (mkName "False"))
diff --git a/testsuite/tests/th/T8759.stderr b/testsuite/tests/th/T8759.stderr
index d3cde8b0a8..2e551478ae 100644
--- a/testsuite/tests/th/T8759.stderr
+++ b/testsuite/tests/th/T8759.stderr
@@ -1,3 +1,3 @@
 
-T8759.hs:9:2: warning:
+T8759.hs:9:2: warning: [GHC-39584]
     PatSynI T8759.P (ForallT [] [] (ForallT [] [] (TupleT 0)))
diff --git a/testsuite/tests/th/T8987.stderr b/testsuite/tests/th/T8987.stderr
index 9933ef3465..58386006b8 100644
--- a/testsuite/tests/th/T8987.stderr
+++ b/testsuite/tests/th/T8987.stderr
@@ -1,5 +1,5 @@
 
-T8987.hs:1:1: error:
+T8987.hs:1:1: error: [GHC-87897]
     Exception when trying to run compile-time code:
       Prelude.undefined
 CallStack (from HasCallStack):
diff --git a/testsuite/tests/th/TH_PromotedList.stderr b/testsuite/tests/th/TH_PromotedList.stderr
index d3eba9ac0e..093924b3ae 100644
--- a/testsuite/tests/th/TH_PromotedList.stderr
+++ b/testsuite/tests/th/TH_PromotedList.stderr
@@ -1,3 +1,3 @@
 
-TH_PromotedList.hs:11:2: warning:
+TH_PromotedList.hs:11:2: warning: [GHC-39584]
     '(:) GHC.Types.Int ('(:) GHC.Types.Bool '[])
diff --git a/testsuite/tests/th/TH_PromotedTuple.stderr b/testsuite/tests/th/TH_PromotedTuple.stderr
index 29b60f08fd..4579f76c2b 100644
--- a/testsuite/tests/th/TH_PromotedTuple.stderr
+++ b/testsuite/tests/th/TH_PromotedTuple.stderr
@@ -5,5 +5,5 @@ TH_PromotedTuple.hs:(14,31)-(16,44): Splicing type
   ======>
     '(Int, 'False)
 
-TH_PromotedTuple.hs:14:31: warning:
+TH_PromotedTuple.hs:14:31: warning: [GHC-39584]
     AppT (AppT (PromotedTupleT 2) (ConT GHC.Types.Int)) (PromotedT GHC.Types.False)
diff --git a/testsuite/tests/th/TH_RichKinds.stderr b/testsuite/tests/th/TH_RichKinds.stderr
index 920e424e52..cb8cbb9f34 100644
--- a/testsuite/tests/th/TH_RichKinds.stderr
+++ b/testsuite/tests/th/TH_RichKinds.stderr
@@ -1,5 +1,5 @@
 
-TH_RichKinds.hs:12:2: warning:
+TH_RichKinds.hs:12:2: warning: [GHC-39584]
     forall a_0 . (a_0 :: GHC.Types.Bool)
 forall a_1 . (a_1 :: Constraint)
 forall a_2 . (a_2 :: [*])
diff --git a/testsuite/tests/th/TH_RichKinds2.stderr b/testsuite/tests/th/TH_RichKinds2.stderr
index ae842d43a6..89b7279114 100644
--- a/testsuite/tests/th/TH_RichKinds2.stderr
+++ b/testsuite/tests/th/TH_RichKinds2.stderr
@@ -1,5 +1,5 @@
 
-TH_RichKinds2.hs:25:2: warning:
+TH_RichKinds2.hs:25:2: warning: [GHC-39584]
     data SMaybe_0 :: (k_0 -> *) -> GHC.Maybe.Maybe k_0 -> * where
     SNothing_2 :: SMaybe_0 s_3 'GHC.Maybe.Nothing
     SJust_4 :: (s_5 a_6) -> SMaybe_0 s_5 ('GHC.Maybe.Just a_6)
diff --git a/testsuite/tests/th/TH_TyInstWhere2.stderr b/testsuite/tests/th/TH_TyInstWhere2.stderr
index bbeabab267..b0827881d5 100644
--- a/testsuite/tests/th/TH_TyInstWhere2.stderr
+++ b/testsuite/tests/th/TH_TyInstWhere2.stderr
@@ -1,10 +1,10 @@
 
-TH_TyInstWhere2.hs:8:2: warning:
+TH_TyInstWhere2.hs:8:2: warning: [GHC-39584]
     type family F_0 (a_1 :: k_2) (b_3 :: k_2) :: GHC.Types.Bool where
     F_0 a_4 a_4 = 'GHC.Types.True
     F_0 a_5 b_6 = 'GHC.Types.False
 
-TH_TyInstWhere2.hs:14:2: warning:
+TH_TyInstWhere2.hs:14:2: warning: [GHC-39584]
     type family F1_0 (a_1 :: k_2) :: * where
     F1_0 @(*) GHC.Types.Int = GHC.Types.Bool
     F1_0 @GHC.Types.Bool 'GHC.Types.False = GHC.Types.Char
diff --git a/testsuite/tests/th/TH_exn1.stderr b/testsuite/tests/th/TH_exn1.stderr
index 540ced9278..985b33bb87 100644
--- a/testsuite/tests/th/TH_exn1.stderr
+++ b/testsuite/tests/th/TH_exn1.stderr
@@ -1,5 +1,5 @@
 
-TH_exn1.hs:1:1: error:
+TH_exn1.hs:1:1: error: [GHC-87897]
     Exception when trying to run compile-time code:
       TH_exn1.hs:(9,2)-(11,2): Non-exhaustive patterns in case
 
diff --git a/testsuite/tests/th/TH_exn2.stderr b/testsuite/tests/th/TH_exn2.stderr
index 9d9205056c..a7fefabc78 100644
--- a/testsuite/tests/th/TH_exn2.stderr
+++ b/testsuite/tests/th/TH_exn2.stderr
@@ -1,10 +1,10 @@
 
-TH_exn2.hs:1:1: error:
+TH_exn2.hs:1:1: error: [GHC-87897]
     Exception when trying to run compile-time code:
       Prelude.tail: empty list
 CallStack (from HasCallStack):
-  error, called at libraries/base/GHC/List.hs:1590:3 in base:GHC.List
-  errorEmptyList, called at libraries/base/GHC/List.hs:114:28 in base:GHC.List
+  error, called at libraries/base/GHC/List.hs:1650:3 in base:GHC.List
+  errorEmptyList, called at libraries/base/GHC/List.hs:130:28 in base:GHC.List
   tail, called at TH_exn2.hs:10:17 in main:TH
     Code: (do ds <- [d| |]
               return (tail ds))
diff --git a/testsuite/tests/th/TH_fail.stderr b/testsuite/tests/th/TH_fail.stderr
index 6df144dae4..f3692edc1e 100644
--- a/testsuite/tests/th/TH_fail.stderr
+++ b/testsuite/tests/th/TH_fail.stderr
@@ -1,2 +1,2 @@
 
-TH_fail.hs:7:2: error: Code not written yet...
+TH_fail.hs:7:2: error: [GHC-39584] Code not written yet...
diff --git a/testsuite/tests/th/TH_finalizer.stderr b/testsuite/tests/th/TH_finalizer.stderr
index e89d434adb..dedb26ff3f 100644
--- a/testsuite/tests/th/TH_finalizer.stderr
+++ b/testsuite/tests/th/TH_finalizer.stderr
@@ -1,2 +1,2 @@
 
-TH_finalizer.hs:1:1: warning: Just True
+TH_finalizer.hs:1:1: warning: [GHC-39584] Just True
diff --git a/testsuite/tests/th/TH_implicitParamsErr1.stderr b/testsuite/tests/th/TH_implicitParamsErr1.stderr
index 56acdfdabb..9b76c6514c 100644
--- a/testsuite/tests/th/TH_implicitParamsErr1.stderr
+++ b/testsuite/tests/th/TH_implicitParamsErr1.stderr
@@ -1,4 +1,4 @@
 
-TH_implicitParamsErr1.hs:5:2: error:
+TH_implicitParamsErr1.hs:5:2: error: [GHC-51603]
     Implicit parameter binding only allowed in let or where
     When splicing a TH declaration: ?x = 1
diff --git a/testsuite/tests/th/TH_implicitParamsErr2.stderr b/testsuite/tests/th/TH_implicitParamsErr2.stderr
index faa2a9e90b..cfded82312 100644
--- a/testsuite/tests/th/TH_implicitParamsErr2.stderr
+++ b/testsuite/tests/th/TH_implicitParamsErr2.stderr
@@ -1,5 +1,5 @@
 
-TH_implicitParamsErr2.hs:5:9: error:
+TH_implicitParamsErr2.hs:5:9: error: [GHC-42974]
     • Implicit parameters mixed with other bindings
       When splicing a TH expression: let {?x = 1; y = 2}
  in y
diff --git a/testsuite/tests/th/TH_implicitParamsErr3.stderr b/testsuite/tests/th/TH_implicitParamsErr3.stderr
index a83ead7a0a..9efd60733c 100644
--- a/testsuite/tests/th/TH_implicitParamsErr3.stderr
+++ b/testsuite/tests/th/TH_implicitParamsErr3.stderr
@@ -1,5 +1,5 @@
 
-TH_implicitParamsErr3.hs:5:15: error:
+TH_implicitParamsErr3.hs:5:15: error: [GHC-55017]
     • Illegal variable name: ‘invalid name’
       When splicing a TH expression:
         let ?invalid name = "hi"
diff --git a/testsuite/tests/th/TH_invalid_add_top_decl.stderr b/testsuite/tests/th/TH_invalid_add_top_decl.stderr
index 0e8f6b66c2..84e56a275b 100644
--- a/testsuite/tests/th/TH_invalid_add_top_decl.stderr
+++ b/testsuite/tests/th/TH_invalid_add_top_decl.stderr
@@ -1,5 +1,5 @@
 
-TH_invalid_add_top_decl.hs:5:2: error:
+TH_invalid_add_top_decl.hs:5:2: error: [GHC-34949]
     Error in a declaration passed to addTopDecls:
       Empty stmt list in do-block
       When splicing a TH declaration: emptyDo = do
diff --git a/testsuite/tests/th/TH_runIO.stderr b/testsuite/tests/th/TH_runIO.stderr
index 50af621620..aae6b27102 100644
--- a/testsuite/tests/th/TH_runIO.stderr
+++ b/testsuite/tests/th/TH_runIO.stderr
@@ -1,5 +1,5 @@
 
-TH_runIO.hs:12:7: error:
+TH_runIO.hs:12:7: error: [GHC-87897]
     • Exception when trying to run compile-time code:
         user error (hi)
       Code: (runIO (fail "hi"))