Commit fa28ae95 authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

Fix flag documentation (#17826)

parent 16d643cf
Pipeline #15749 passed with stages
in 456 minutes and 21 seconds
......@@ -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`
......
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