diff options
| author | simonpj@microsoft.com <unknown> | 2007-08-04 17:35:39 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-08-04 17:35:39 +0000 |
| commit | b0d80aa3d908a6b9991920a5ac7fd1b437ecafd3 (patch) | |
| tree | 48c6bbfcabccf758ed92e45431524fbba2faa8eb /docs | |
| parent | 7df91d495b6072ced7cc5f47b9483b25e0cf0263 (diff) | |
| download | haskell-b0d80aa3d908a6b9991920a5ac7fd1b437ecafd3.tar.gz | |
In GHCi, filter instances by what is in scope, not just by what is in scope unqualified
Trac #1581 was doing too much filtering; it even filtered out intances
defined in this very module! The new rule shows more instances, but
hopefully not to many.
Furthermore I have moved the filtering out of TcRnDriver (where it does
not belong) to InteractiveEval. And I've added a note to the documentation.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 86bfa8fc0c..7a3c77a74d 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -1923,6 +1923,12 @@ Prelude> :. cmds.ghci will be printed. If <replaceable>name</replaceable> has been loaded from a source file, then GHCi will also display the location of its definition in the source.</para> + <para>For types and classes, GHCi also summarises instances that + mention them. To avoid showing irrelevant information, an instance + is shown only if (a) its head mentions <relaceable>name</replaceable>, + and (b) all the other things mentioned in the instance + are in scope (either qualified or otherwise) as a result of + a <literal>:load</literal> or <literal>:module</literal> commands. </para> </listitem> </varlistentry> |