diff options
| author | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-07-27 09:45:27 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-07-28 13:20:52 -0400 |
| commit | 4a2ef3dd38adf613f425bb1ef8a8614bea558ff0 (patch) | |
| tree | 3e7173fa8426e4bd70997ae160966b3e362f2572 /testsuite/tests/parser/should_fail/readFail044.stderr | |
| parent | 3382b3d6f9a818d0afe62112dd368ae04778d16e (diff) | |
| download | haskell-4a2ef3dd38adf613f425bb1ef8a8614bea558ff0.tar.gz | |
Port more DriverUnknownMessage into richer DriverMessage constructors
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`
Diffstat (limited to 'testsuite/tests/parser/should_fail/readFail044.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/readFail044.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/parser/should_fail/readFail044.stderr b/testsuite/tests/parser/should_fail/readFail044.stderr index 1976b56079..c33e25cd99 100644 --- a/testsuite/tests/parser/should_fail/readFail044.stderr +++ b/testsuite/tests/parser/should_fail/readFail044.stderr @@ -1,6 +1,6 @@ readFail044.hs:3:17: error: - unknown flag in {-# OPTIONS_GHC #-} pragma: -this-flag-does-not-exist + Unknown flag in {-# OPTIONS_GHC #-} pragma: -this-flag-does-not-exist readFail044.hs:3:43: error: - unknown flag in {-# OPTIONS_GHC #-} pragma: -nor-does-this-one + Unknown flag in {-# OPTIONS_GHC #-} pragma: -nor-does-this-one |