summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorTorsten Schmits <git@tryp.io>2023-04-28 16:03:29 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-05-05 22:05:12 -0400
commit994bda563604461ffb8454d6e298b0310520bcc8 (patch)
tree0a1fcdf64102b0b2deb8ac67fe935ab3070df055 /docs
parent8f303d27dfdbf4c33af00d1a7802c8398b4a74d2 (diff)
downloadhaskell-994bda563604461ffb8454d6e298b0310520bcc8.tar.gz
Add structured error messages for GHC.Rename.Module
Tracking ticket: #20115 MR: !10361 This converts uses of `mkTcRnUnknownMessage` to newly added constructors of `TcRnMessage`. Only addresses the single warning missing from the previous MR.
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/using-warnings.rst10
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst
index 62a0f723df..577bce0a74 100644
--- a/docs/users_guide/using-warnings.rst
+++ b/docs/users_guide/using-warnings.rst
@@ -163,6 +163,7 @@ as ``-Wno-...`` for every individual warning in the group.
* :ghc-flag:`-Wsemigroup`
* :ghc-flag:`-Wnoncanonical-monoid-instances`
+ * :ghc-flag:`-Wnoncanonical-monad-instances`
* :ghc-flag:`-Wcompat-unqualified-imports`
* :ghc-flag:`-Wtype-equality-out-of-scope`
@@ -566,7 +567,7 @@ of ``-W(no-)*``.
:since: 8.0
- :default: off
+ :default: on
Warn if noncanonical ``Applicative`` or ``Monad`` instances
declarations are detected.
@@ -584,6 +585,8 @@ of ``-W(no-)*``.
* Warn if ``pure`` is defined backwards (i.e. ``pure = return``).
* Warn if ``(*>)`` is defined backwards (i.e. ``(*>) = (>>)``).
+ This warning is part of the :ghc-flag:`-Wcompat` option group.
+
.. ghc-flag:: -Wnoncanonical-monadfail-instances
:shortdesc: *(deprecated)*
warn when ``Monad`` or ``MonadFail`` instances have
@@ -610,6 +613,8 @@ of ``-W(no-)*``.
:since: 8.0
+ :default: on
+
Warn if noncanonical ``Semigroup`` or ``Monoid`` instances
declarations are detected.
@@ -625,8 +630,7 @@ of ``-W(no-)*``.
* Warn if ``(<>)`` is defined backwards (i.e. ``(<>) = mappend``).
- This warning is off by default. However, it is part of the
- :ghc-flag:`-Wcompat` option group.
+ This warning is part of the :ghc-flag:`-Wcompat` option group.
.. ghc-flag:: -Wmissing-monadfail-instances
:shortdesc: *(deprecated)*