diff options
| author | David Luposchainsky <dluposchainsky@gmail.com> | 2015-11-29 22:59:57 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-29 23:00:48 +0100 |
| commit | 290def72f54db7969258b4541aaefc87b54ce448 (patch) | |
| tree | 5843028d9666626e3becb897e21e8caa007fd8c2 /utils | |
| parent | bcd55a94f234f5efa4bb4fd24429dafc79d93106 (diff) | |
| download | haskell-290def72f54db7969258b4541aaefc87b54ce448.tar.gz | |
Implement warnings for Semigroups as parent of Monoid
This patch is similar to the AMP patch (#8004), which offered two
functions:
1. Warn when an instance of a class has been given, but the type does
not have a certain superclass instance
2. Warn when top-level definitions conflict with future Prelude names
These warnings are issued as part of the new `-Wcompat` warning group.
Reviewers: hvr, ekmett, austin, bgamari
Reviewed By: hvr, ekmett, bgamari
Subscribers: ekmett, thomie
Differential Revision: https://phabricator.haskell.org/D1539
GHC Trac Issues: #11139
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/utils/mkUserGuidePart/Options/Warnings.hs b/utils/mkUserGuidePart/Options/Warnings.hs index 563ce94ab1..ba93f6ca83 100644 --- a/utils/mkUserGuidePart/Options/Warnings.hs +++ b/utils/mkUserGuidePart/Options/Warnings.hs @@ -154,11 +154,18 @@ warningsOptions = } , flag { flagName = "-fwarn-missing-monadfail-instance" , flagDescription = - "warn when a failable pattern is used in a do-block that does not "++ - "have a ``MonadFail`` instance." + "warn when a failable pattern is used in a do-block that does " ++ + "not have a ``MonadFail`` instance." , flagType = DynamicFlag , flagReverse = "-fno-warn-missing-monadfail-instance" } + , flag { flagName = "-fwarn-semigroup" + , flagDescription = + "warn when a ``Monoid`` is not ``Semigroup``, and on non-" ++ + "``Semigroup`` definitions of ``(<>)``?" + , flagType = DynamicFlag + , flagReverse = "-fno-warn-semigroup" + } , flag { flagName = "-fwarn-missed-specialisations" , flagDescription = "warn when specialisation of an imported, overloaded function fails." |