diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2023-01-14 14:41:39 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-18 01:56:22 -0500 |
| commit | e9c0537cfbf7b47c64f592f529e402358b66ca7f (patch) | |
| tree | a1e9fe1b5dadf437f7b8bf5dada0d11e4c7d8283 /docs/users_guide | |
| parent | ee9b78aa17e1eb81b3c4aa6a5ce324de49530e92 (diff) | |
| download | haskell-e9c0537cfbf7b47c64f592f529e402358b66ca7f.tar.gz | |
Enable -Wstar-is-type by default (#22759)
Following the plan in GHC Proposal #143 "Remove the * kind syntax",
which states:
In the next release (or 3 years in), enable -fwarn-star-is-type by default.
The "next release" happens to be 9.6.1
I also moved the T21583 test case from should_fail to should_compile,
because the only reason it was failing was -Werror=compat in our test
suite configuration.
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/9.6.1-notes.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/docs/users_guide/9.6.1-notes.rst b/docs/users_guide/9.6.1-notes.rst index 9fd0ca2d75..5105a3ece7 100644 --- a/docs/users_guide/9.6.1-notes.rst +++ b/docs/users_guide/9.6.1-notes.rst @@ -96,6 +96,8 @@ Compiler - The :ghc-flag:`-Woperator-whitespace` warning no longer ignores constructor symbols (operators starting with ``:``). +- The :ghc-flag:`-Wstar-is-type` warning is now enabled by default. + - Added a new warning :ghc-flag:`-Wterm-variable-capture` that helps to make code compatible with the future extension ``RequiredTypeArguments``. diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index c99c51043f..4a6e1ab817 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -60,6 +60,7 @@ To reverse ``-Werror``, which makes all warnings into errors, use ``-Wwarn``. * :ghc-flag:`-Wunrecognised-warning-flags` * :ghc-flag:`-Winaccessible-code` * :ghc-flag:`-Wstar-binder` + * :ghc-flag:`-Wstar-is-type` * :ghc-flag:`-Woperator-whitespace-ext-conflict` * :ghc-flag:`-Wambiguous-fields` * :ghc-flag:`-Wunicode-bidirectional-format-characters` @@ -160,7 +161,6 @@ The following flags are simple ways to select standard "packages" of warnings: * :ghc-flag:`-Wsemigroup` * :ghc-flag:`-Wnoncanonical-monoid-instances` - * :ghc-flag:`-Wstar-is-type` * :ghc-flag:`-Wcompat-unqualified-imports` * :ghc-flag:`-Wtype-equality-out-of-scope` @@ -1505,9 +1505,6 @@ of ``-W(no-)*``. breaking change takes place. The recommended fix is to replace ``*`` with ``Type`` imported from ``Data.Kind``. - Being part of the :ghc-flag:`-Wcompat` option group, this warning is off by - default, but will be switched on in a future GHC release. - .. ghc-flag:: -Wstar-binder :shortdesc: warn about binding the ``(*)`` type operator despite :extension:`StarIsType` |