Add GhcMessage and ancillary types

This commit adds GhcMessage and ancillary (PsMessage, TcRnMessage, ..)
types.
These types will be expanded to represent more errors generated
by different subsystems within GHC. Right now, they are underused,
but more will come in the glorious future.

See
https://gitlab.haskell.org/ghc/ghc/-/wikis/Errors-as-(structured)-values
for a design overview.

Along the way, lots of other things had to happen:

* Adds Semigroup and Monoid instance for Bag

* Fixes #19746 by parsing OPTIONS_GHC pragmas into Located Strings.
  See GHC.Parser.Header.toArgs (moved from GHC.Utils.Misc, where it
  didn't belong anyway).

* Addresses (but does not completely fix) #19709, now reporting
  desugarer warnings and errors appropriately for TH splices.
  Not done: reporting type-checker warnings for TH splices.

* Some small refactoring around Safe Haskell inference, in order
  to keep separate classes of messages separate.

* Some small refactoring around initDsTc, in order to keep separate
  classes of messages separate.

* Separate out the generation of messages (that is, the construction
  of the text block) from the wrapping of messages (that is, assigning
  a SrcSpan). This is more modular than the previous design, which
  mixed the two.

Close #19746.

This was a collaborative effort by Alfredo di Napoli and
Richard Eisenberg, with a key assist on #19746 by Iavor
Diatchki.

Metric Increase:
    MultiLayerModules

1 files changed, 45 insertions, 0 deletions

diff --git a/compiler/GHC/Driver/Errors/Ppr.hs b/compiler/GHC/Driver/Errors/Ppr.hs
new file mode 100644
index 0000000000..06ebe0be96
--- /dev/null
+++ b/compiler/GHC/Driver/Errors/Ppr.hs
@@ -0,0 +1,45 @@
+{-# LANGUAGE LambdaCase #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-} -- instance Diagnostic {DriverMessage, GhcMessage}
+
+module GHC.Driver.Errors.Ppr where
+
+import GHC.Prelude
+
+import GHC.Types.Error
+import GHC.Driver.Errors.Types
+import GHC.Parser.Errors.Ppr
+import GHC.Tc.Errors.Ppr ()
+import GHC.HsToCore.Errors.Ppr ()
+
+instance Diagnostic GhcMessage where
+  diagnosticMessage = \case
+    GhcPsMessage m
+      -> diagnosticMessage m
+    GhcTcRnMessage m
+      -> diagnosticMessage m
+    GhcDsMessage m
+      -> diagnosticMessage m
+    GhcDriverMessage m
+      -> diagnosticMessage m
+    GhcUnknownMessage m
+      -> diagnosticMessage m
+
+  diagnosticReason = \case
+    GhcPsMessage m
+      -> diagnosticReason m
+    GhcTcRnMessage m
+      -> diagnosticReason m
+    GhcDsMessage m
+      -> diagnosticReason m
+    GhcDriverMessage m
+      -> diagnosticReason m
+    GhcUnknownMessage m
+      -> diagnosticReason m
+
+instance Diagnostic DriverMessage where
+  diagnosticMessage (DriverUnknownMessage m)  = diagnosticMessage m
+  diagnosticMessage (DriverPsHeaderMessage desc hints)
+    = mkSimpleDecorated $ pprPsError desc hints
+
+  diagnosticReason (DriverUnknownMessage m)   = diagnosticReason m
+  diagnosticReason (DriverPsHeaderMessage {}) = ErrorWithoutFlag