diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 17:55:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 17:55:59 +0100 |
| commit | 9039108b2d9ad746d47f3917cdfb7a44a4a41ccf (patch) | |
| tree | 602c5b00db862cea27314980e32ccec8ad3284f1 /docs/users_guide/using.xml | |
| parent | e365d4963f1061878269502f256b4a56ca273a78 (diff) | |
| download | haskell-9039108b2d9ad746d47f3917cdfb7a44a4a41ccf.tar.gz | |
Improve error reporting for "relevant bindings" again (Trac #8233)
This patch makes a number of related improvements:
* Displays relevant bindings in innermost-first order.
The inner ones are closer to the error.
* Does not display syntactically top-level bindings,
unless you say -fno-max-relevant-bindings.
This is what Trac #8233 was mainly about
* Makes the TopLevelFlag in a TcIdBinder really mean
"syntactically top level". It was a bit vague before.
There was some associated simplification, because we no longer
need to pas a TopLevelFlag to tcMonoBinds and friends.
Diffstat (limited to 'docs/users_guide/using.xml')
| -rw-r--r-- | docs/users_guide/using.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 1a03f2c5c0..f03335862b 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -2179,7 +2179,9 @@ f "2" = 2 <para>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. The default is 6. Turning it off with <option>-fno-max-relevant-bindings</option> - gives an unlimited number. + gives an unlimited number. Syntactically top-level bindings are also + usually excluded (since they may be numerous), but + <option>-fno-max-relevant-bindings</option> includes them too. </para> </listitem> </varlistentry> |