summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJames Foster <jf16688@my.bristol.ac.uk>2019-07-17 11:16:32 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-07-19 18:08:51 -0400
commitbec17997c40cd0a68004a5a9fb4d3cf2a39711ad (patch)
treec89e5531dc96a25abde7a2b582e626981d43d927 /docs
parentf1980a1e8a05eca244bbc018c0d590e535112f35 (diff)
downloadhaskell-bec17997c40cd0a68004a5a9fb4d3cf2a39711ad.tar.gz
users-guide: corrected -fmax-relevant-binds reverse to be -fno-max-relevant-binds
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/using-optimisation.rst6
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst
index 7edcb93197..a7bec151e6 100644
--- a/docs/users_guide/using-optimisation.rst
+++ b/docs/users_guide/using-optimisation.rst
@@ -609,7 +609,7 @@ by saying ``-fno-wombat``.
:shortdesc: *default: 6.* Set the maximum number of bindings to display in
type error messages.
:type: dynamic
- :reverse: -fno-max-relevant-bindings
+ :reverse: -fno-max-relevant-binds
:category: verbosity
:default: 6
@@ -617,9 +617,9 @@ by saying ``-fno-wombat``.
The type checker sometimes displays a fragment of the type
environment in error messages, but only up to some maximum number,
set by this flag. Turning it off with
- ``-fno-max-relevant-bindings`` gives an unlimited number.
+ ``-fno-max-relevant-binds`` gives an unlimited number.
Syntactically top-level bindings are also usually excluded (since
- they may be numerous), but ``-fno-max-relevant-bindings`` includes
+ they may be numerous), but ``-fno-max-relevant-binds`` includes
them too.
.. ghc-flag:: -fmax-uncovered-patterns=⟨n⟩