diff options
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 21594ec262..ed2b12b84c 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -104,6 +104,7 @@ to abort. warnings when doing batch compilation. .. ghc-flag:: -Werror=<wflag> + :noindex: :implies: ``-W<wflag>`` @@ -116,6 +117,7 @@ to abort. default, but can be useful to negate a :ghc-flag:`-Werror` flag. .. ghc-flag:: -Wwarn=<wflag> + :noindex: Causes a specific warning to be treated as normal warning, not fatal error. |