Port more DriverUnknownMessage into richer DriverMessage constructorswip/adinapoli-more-driver-unknown-msgs

In order:

* Introduce the `PsErrUnknownOptionsPragma` diagnostic message

  This commit changes the diagnostic emitted inside
  `GHC.Parser.Header.checkProcessArgsResult` from an (erroneous) and
  unstructured `DriverUnknownMessage` to a `PsErrUnknownOPtionsPragma`,
  i.e. a new data constructor of a `PsHeaderMessage`.

* Add the `DriverUserDefinedRuleIgnored` diagnostic message

* Add `DriverUserDefinedRuleIgnored` data constructor

  This commit adds (and use) a new data constructor to the `DriverMessage`
  type, replacing a `DriverUnknownMessage` with it.

* Add and use `DriverCannotLoadInterfaceFile` constructor

  This commit introduces the DriverCannotLoadInterfaceFile constructor for
  the `DriverMessage` type and it uses it to replace and occurrence of
  `DriverUnknownMessage`.

* Add and use the `DriverInferredSafeImport` constructor

  This commit adds a new `DriverInferredSafeImport` constructor to the
  `DriverMessage` type, and uses it in `GHC.Driver.Main` to replace one
  occurrence of `DriverUnknownMessage`.

* Add and use `DriverCannotImportUnsafeModule` constructor

  This commit adds the `DriverCannotImportUnsafeModule` constructor
  to the `DriverMessage` type, and later using it to replace one usage of
  `DriverUnknownMessage` in the `GHC.Driver.Main` module.

* Add and use `DriverMissingSafeHaskellMode` constructor

* Add and use `DriverPackageNotTrusted` constructor

* Introduce and use `DriverInferredSafeModule` constructor

* Add and use `DriverMarkedTrustworthyButInferredSafe` constructor

* Add and use `DriverCannotImportFromUntrustedPackage`

0 files changed, 0 insertions, 0 deletions