Commit 04eb0d6c authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

Enable -Wstar-is-type in -Wall

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
parent 89cb4cc4
......@@ -4903,7 +4903,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
......
......@@ -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:
......
......@@ -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.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment