diff options
Diffstat (limited to 'docs/users_guide/9.6.1-notes.rst')
| -rw-r--r-- | docs/users_guide/9.6.1-notes.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/users_guide/9.6.1-notes.rst b/docs/users_guide/9.6.1-notes.rst index 4755d4e216..eaed67da22 100644 --- a/docs/users_guide/9.6.1-notes.rst +++ b/docs/users_guide/9.6.1-notes.rst @@ -149,11 +149,6 @@ Compiler - The :ghc-flag:`-Wstar-is-type` warning is now enabled by default. -- The ``-Wno-⟨wflag⟩``, ``-Werror=⟨wflag⟩`` and ``-Wwarn=⟨wflag⟩`` options are - now defined systematically for all warning groups (for example, - ``-Wno-default``, ``-Werror=unused-binds`` and ``-Wwarn=all`` are now - accepted). See :ref:`options-sanity`. - GHCi ~~~~ |