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.

12 files changed, 14 insertions, 14 deletions

diff --git a/testsuite/tests/typecheck/should_run/KindInvariant.stderr b/testsuite/tests/typecheck/should_run/KindInvariant.stderr
index ac31936e39..7eb8d21b95 100644
--- a/testsuite/tests/typecheck/should_run/KindInvariant.stderr
+++ b/testsuite/tests/typecheck/should_run/KindInvariant.stderr
@@ -1,5 +1,5 @@
 
-<interactive>:1:3: error:
+<interactive>:1:3: error: [GHC-83865]
     • Couldn't match a lifted type with an unlifted type
       Expected kind ‘* -> *’, but ‘State#’ has kind ‘* -> ZeroBitType’
     • In the first argument of ‘T’, namely ‘State#’
diff --git a/testsuite/tests/typecheck/should_run/T10284.stderr b/testsuite/tests/typecheck/should_run/T10284.stderr
index 622e2bfa45..55f5731d61 100644
--- a/testsuite/tests/typecheck/should_run/T10284.stderr
+++ b/testsuite/tests/typecheck/should_run/T10284.stderr
@@ -1,4 +1,4 @@
-T10284: T10284.hs:7:5: error:
+T10284.exe: T10284.hs:7:5: error: [GHC-83865]
     • Couldn't match expected type ‘Int’ with actual type ‘Char’
     • In the expression: 'a'
       In an equation for ‘a’: a = 'a'
diff --git a/testsuite/tests/typecheck/should_run/T10284.stdout b/testsuite/tests/typecheck/should_run/T10284.stdout
index 5d5c564c18..b737e75a55 100644
--- a/testsuite/tests/typecheck/should_run/T10284.stdout
+++ b/testsuite/tests/typecheck/should_run/T10284.stdout
@@ -1,4 +1,4 @@
-As expected, TypeError: T10284.hs:7:5: error:
+As expected, TypeError: T10284.hs:7:5: error: [GHC-83865]
     • Couldn't match expected type ‘Int’ with actual type ‘Char’
     • In the expression: 'a'
       In an equation for ‘a’: a = 'a'
diff --git a/testsuite/tests/typecheck/should_run/T13838.stderr b/testsuite/tests/typecheck/should_run/T13838.stderr
index a8de8b16d3..39eacdc67b 100644
--- a/testsuite/tests/typecheck/should_run/T13838.stderr
+++ b/testsuite/tests/typecheck/should_run/T13838.stderr
@@ -1,4 +1,4 @@
-T13838: T13838.hs:6:1: error:
+T13838.exe: T13838.hs:6:1: error: [GHC-83865]
     • Couldn't match expected type: IO t0
                   with actual type: () -> ()
     • Probable cause: ‘main’ is applied to too few arguments
diff --git a/testsuite/tests/typecheck/should_run/T3731.stderr b/testsuite/tests/typecheck/should_run/T3731.stderr
index 0863ca0e61..d66f9f9a74 100644
--- a/testsuite/tests/typecheck/should_run/T3731.stderr
+++ b/testsuite/tests/typecheck/should_run/T3731.stderr
@@ -2,7 +2,7 @@
 T3731.hs:4:15: warning: [-Wdeprecated-flags (in -Wdefault)]
     -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
 
-T3731.hs:122:32: error:
+T3731.hs:122:32: error: [GHC-39999]
     • Could not deduce ‘Default a’
         arising from a superclass required to satisfy ‘Data DefaultD a’,
         arising from a use of ‘dataTypeOf’
diff --git a/testsuite/tests/typecheck/should_run/T3731_simple.stderr b/testsuite/tests/typecheck/should_run/T3731_simple.stderr
index 941722345a..e27ad9a11d 100644
--- a/testsuite/tests/typecheck/should_run/T3731_simple.stderr
+++ b/testsuite/tests/typecheck/should_run/T3731_simple.stderr
@@ -1,5 +1,5 @@
 
-T3731_simple.hs:19:13: error:
+T3731_simple.hs:19:13: error: [GHC-39999]
     • Could not deduce ‘Default a’
         arising from a superclass required to satisfy ‘Data a’,
         arising from a use of ‘dataTypeOf’
diff --git a/testsuite/tests/typecheck/should_run/T9497a-run.stderr b/testsuite/tests/typecheck/should_run/T9497a-run.stderr
index 7f05844778..22336ece3a 100644
--- a/testsuite/tests/typecheck/should_run/T9497a-run.stderr
+++ b/testsuite/tests/typecheck/should_run/T9497a-run.stderr
@@ -1,4 +1,4 @@
-T9497a-run: T9497a-run.hs:2:8: error:
+T9497a-run.exe: T9497a-run.hs:2:8: error: [GHC-88464]
     • Found hole: _main :: IO ()
       Or perhaps ‘_main’ is mis-spelled, or not in scope
     • In an equation for ‘main’: main = _main
diff --git a/testsuite/tests/typecheck/should_run/T9497b-run.stderr b/testsuite/tests/typecheck/should_run/T9497b-run.stderr
index e6155ddae5..c82f266940 100644
--- a/testsuite/tests/typecheck/should_run/T9497b-run.stderr
+++ b/testsuite/tests/typecheck/should_run/T9497b-run.stderr
@@ -1,4 +1,4 @@
-T9497b-run: T9497b-run.hs:2:8: error:
+T9497b-run.exe: T9497b-run.hs:2:8: error: [GHC-88464]
     • Found hole: _main :: IO ()
       Or perhaps ‘_main’ is mis-spelled, or not in scope
     • In an equation for ‘main’: main = _main
diff --git a/testsuite/tests/typecheck/should_run/T9497c-run.stderr b/testsuite/tests/typecheck/should_run/T9497c-run.stderr
index 6ce2781031..169a1ce54f 100644
--- a/testsuite/tests/typecheck/should_run/T9497c-run.stderr
+++ b/testsuite/tests/typecheck/should_run/T9497c-run.stderr
@@ -1,4 +1,4 @@
-T9497c-run: T9497c-run.hs:2:8: error:
+T9497c-run.exe: T9497c-run.hs:2:8: error: [GHC-88464]
     • Found hole: _main :: IO ()
       Or perhaps ‘_main’ is mis-spelled, or not in scope
     • In an equation for ‘main’: main = _main
diff --git a/testsuite/tests/typecheck/should_run/Typeable1.stderr b/testsuite/tests/typecheck/should_run/Typeable1.stderr
index d2488bb575..d9ee7781d5 100644
--- a/testsuite/tests/typecheck/should_run/Typeable1.stderr
+++ b/testsuite/tests/typecheck/should_run/Typeable1.stderr
@@ -1,5 +1,5 @@
 
-Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code]
+Typeable1.hs:22:5: error: [GHC-40564] [-Winaccessible-code (in -Wdefault), Werror=inaccessible-code]
     • Inaccessible code in
         a pattern with pattern synonym:
           App :: forall k2 (t :: k2).
diff --git a/testsuite/tests/typecheck/should_run/tcrun042.stderr b/testsuite/tests/typecheck/should_run/tcrun042.stderr
index dcf0854d47..471fd5141b 100644
--- a/testsuite/tests/typecheck/should_run/tcrun042.stderr
+++ b/testsuite/tests/typecheck/should_run/tcrun042.stderr
@@ -1,5 +1,5 @@
 
-tcrun042.hs:20:5: error:
+tcrun042.hs:20:5: error: [GHC-91028]
     • Couldn't match type ‘t0’ with ‘forall b. b -> b -> b’
       Expected: a
                 -> (forall b. b -> b -> b) -> (a, String, forall c. c -> c -> c)
diff --git a/testsuite/tests/typecheck/should_run/tcrun045.stderr b/testsuite/tests/typecheck/should_run/tcrun045.stderr
index feabc4bad4..d555277673 100644
--- a/testsuite/tests/typecheck/should_run/tcrun045.stderr
+++ b/testsuite/tests/typecheck/should_run/tcrun045.stderr
@@ -1,14 +1,14 @@
 
-tcrun045.hs:11:10: error:
+tcrun045.hs:11:10: error: [GHC-75863]
     • Illegal implicit parameter ‘?imp::Int’
     • In the instance declaration for ‘C Int’
 
-tcrun045.hs:24:1: error:
+tcrun045.hs:24:1: error: [GHC-75863]
     • Illegal implicit parameter ‘?imp::Int’
     • In the context: ?imp::Int
       While checking the super-classes of class ‘D’
       In the class declaration for ‘D’
 
-tcrun045.hs:27:10: error:
+tcrun045.hs:27:10: error: [GHC-75863]
     • Illegal implicit parameter ‘?imp::Int’
     • In the instance declaration for ‘D Int’