diff options
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index afcee5b5d7..7fd2019cc6 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -527,40 +527,6 @@ of ``-W(no-)*``. This option isn't enabled by default because it can be very noisy, and it often doesn't indicate a bug in the program. -.. ghc-flag:: -Wtoo-many-guards - -Wno-too-many-guards - - .. index:: - single: too many guards, warning - - The option :ghc-flag:`-Wtoo-many-guards` warns about places where a - pattern match contains too many guards (over 20 at the moment). - It has an effect only if any form of exhaustivness/overlapping - checking is enabled (one of - :ghc-flag:`-Wincomplete-patterns`, - :ghc-flag:`-Wincomplete-uni-patterns`, - :ghc-flag:`-Wincomplete-record-updates`, - :ghc-flag:`-Woverlapping-patterns`). When enabled, the warning can be - suppressed by enabling either :ghc-flag:`-Wno-too-many-guards`, which just - hides the warning, or :ghc-flag:`-ffull-guard-reasoning` which runs the - full check, independently of the number of guards. - -.. ghc-flag:: -ffull-guard-reasoning - - :implies: :ghc-flag:`-Wno-too-many-guards` - - .. index:: - single: guard reasoning, warning - - The option :ghc-flag:`-ffull-guard-reasoning` forces pattern match checking - to run in full. This gives more precise warnings concerning pattern - guards but in most cases increases memory consumption and - compilation time. Hence, it is off by default. Enabling - :ghc-flag:`-ffull-guard-reasoning` also implies :ghc-flag:`-Wno-too-many-guards`. - Note that (like :ghc-flag:`-Wtoo-many-guards`) :ghc-flag:`-ffull-guard-reasoning` - makes a difference only if pattern match checking is already - enabled. - .. ghc-flag:: -Wmissing-fields .. index:: |