diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index 5e4995d968..943651001a 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -120,7 +120,7 @@ list. case x of Red -> e1 - _ -> case x of + _ -> case x of Blue -> e2 Green -> e3 @@ -353,6 +353,13 @@ list. they may be numerous), but ``-fno-max-relevant-bindings`` includes them too. +.. ghc-flag:: -fmax-uncovered-patterns=<n> + + :default: 4 + + Maximum number of unmatched patterns to be shown in warnings generated by + :ghc-flag:`-Wincomplete-patterns` and :ghc-flag:`-Wincomplete-uni-patterns`. + .. ghc-flag:: -fmax-simplifier-iterations=<n> :default: 4 |