diff options
| author | James Foster <jf16688@my.bristol.ac.uk> | 2019-07-17 11:16:32 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-07-19 18:08:51 -0400 |
| commit | bec17997c40cd0a68004a5a9fb4d3cf2a39711ad (patch) | |
| tree | c89e5531dc96a25abde7a2b582e626981d43d927 | |
| parent | f1980a1e8a05eca244bbc018c0d590e535112f35 (diff) | |
| download | haskell-bec17997c40cd0a68004a5a9fb4d3cf2a39711ad.tar.gz | |
users-guide: corrected -fmax-relevant-binds reverse to be -fno-max-relevant-binds
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 6 |
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⟩ |