diff options
Diffstat (limited to 'docs/users_guide/using-optimisation.rst')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index fb2f2847d4..d52ed04d86 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -395,6 +395,16 @@ list. they may be numerous), but ``-fno-max-relevant-bindings`` includes them too. +.. ghc-flag:: -fmax-valid-substitutions=<n> + -fno-max-valid-substitutions + + :default: 6 + + The type checker sometimes displays a list of valid substitutions + for typed holes in error messages, but only up to some maximum number, + set by this flag. Turning it off with + ``-fno-max-valid-substitutions`` gives an unlimited number. + .. ghc-flag:: -fmax-uncovered-patterns=<n> :default: 4 |