summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2020-02-12 11:14:16 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-02-13 09:16:04 -0500
commitfa28ae95e4c1ff5b70bf3f8dc6e54fb994bbfa51 (patch)
treee0f1b8cc7c1f2734062263cb94bb9f61cd45c781
parent16d643cfe661716c7a6cb3ce04893a732c5a42af (diff)
downloadhaskell-fa28ae95e4c1ff5b70bf3f8dc6e54fb994bbfa51.tar.gz
Fix flag documentation (#17826)
-rw-r--r--docs/users_guide/using-warnings.rst6
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst
index aab74d36c2..20566b77ad 100644
--- a/docs/users_guide/using-warnings.rst
+++ b/docs/users_guide/using-warnings.rst
@@ -220,9 +220,10 @@ of ``-W(no-)*``.
encountered on the command line.
:type: dynamic
:reverse: -Wno-unrecognised-warning-flags
- :default: on
:category:
+ :default: on
+
Enables warnings when the compiler encounters a ``-W...`` flag that is not
recognised.
@@ -252,9 +253,10 @@ of ``-W(no-)*``.
:ghc-flag:`-fdefer-typed-holes`.
:type: dynamic
:reverse: -Wno-typed-holes
- :default: on
:category:
+ :default: on
+
Determines whether the compiler reports typed holes warnings. Has no
effect unless typed holes errors are deferred until runtime. See
:ref:`typed-holes` and :ref:`defer-type-errors`