diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-12-29 14:18:47 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-10 13:26:12 -0500 |
| commit | 3063529478d8f3dc2d06db11bb37cba045a96462 (patch) | |
| tree | 818c6a8dbc9e10c245cd0b75a6c37c52f73d3bd4 | |
| parent | bf542530ffa0e66398c1023641c8c2b567a64a3b (diff) | |
| download | haskell-wip/wall-star-is-type.tar.gz | |
Enable -Wstar-is-type in -Wallwip/wall-star-is-type
As noted in [proposal 0143][proposal] this is supposed to happen in
8.12.
Also fix an incorrect claim in the users guide that -Wstar-is-type is
enabled by default.
[proposal]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0143-remove-star-kind.rst
| -rw-r--r-- | compiler/main/DynFlags.hs | 3 | ||||
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 1 | ||||
| -rw-r--r-- | testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index 1ca0f0bb17..d6c3207db1 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -4913,7 +4913,8 @@ minusWallOpts Opt_WarnUntickedPromotedConstructors, Opt_WarnMissingPatternSynonymSignatures, Opt_WarnUnusedRecordWildcards, - Opt_WarnRedundantRecordWildcards + Opt_WarnRedundantRecordWildcards, + Opt_WarnStarIsType ] -- | Things you get with -Weverything, i.e. *all* known warnings flags diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index aab74d36c2..22121b9e3f 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -44,7 +44,6 @@ generally likely to indicate bugs in your program. These are: * :ghc-flag:`-Wtabs` * :ghc-flag:`-Wunrecognised-warning-flags` * :ghc-flag:`-Winaccessible-code` - * :ghc-flag:`-Wstar-is-type` * :ghc-flag:`-Wstar-binder` The following flags are simple ways to select standard "packages" of warnings: diff --git a/testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr b/testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr index b0d7bb2636..7d3c2a6982 100644 --- a/testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr +++ b/testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr @@ -13,7 +13,7 @@ Template.hs:16:3: warning: [-Wnoncanonical-monoid-instances (in -Wcompat)] in the instance declaration for ‘Monoid S’. Define as ‘mappend = (<>)’ -Template.hs:20:15: warning: [-Wstar-is-type (in -Wcompat)] +Template.hs:20:15: warning: [-Wstar-is-type (in -Wall, -Wcompat)] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. |