[GHC] #3464: Find import declaration importing a certain function

GHC trac at galois.com
Wed Sep 23 19:48:13 EDT 2009


#3464: Find import declaration importing a certain function
---------------------------------+------------------------------------------
    Reporter:  fasta             |        Owner:                  
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  GHCi              |      Version:  6.10.4          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Changes (by igloo):

  * difficulty:  => Unknown

Old description:

> Given the command
>
> {{{:find foo}}}
>
> , find all import declaration that import this symbol.
>
> Example:
>
> > *ModA *ModB *ModC are loaded.
>
> Suppose the modules all export Data.List.
>
> So,
> given
>
> module ModX(module Data.List) where import Data.List
> with X \in {A,B,C}
>
> Now, when one currently does :i for a function in Data.List, one gets
> back that it is defined in Data.List, but that's not the information the
> user is interested in. The user wants to know which _modules_ define a
> certain symbol, so in this case it should say that modules ModA, ModB and
> ModC brought that symbol into scope.
>
> The user-interface could also simply be :i as it is now, but with one
> extra line saying where it was imported.

New description:

 Given the command

 {{{
 :find foo
 }}}

 , find all import declaration that import this symbol.

 Example:
 {{{
 > *ModA *ModB *ModC are loaded.
 }}}

 Suppose the modules all export Data.List.

 So,
 given

 {{{
 module ModX(module Data.List) where import Data.List
 }}}
 with X \in {A,B,C}

 Now, when one currently does :i for a function in Data.List, one gets back
 that it is defined in Data.List, but that's not the information the user
 is interested in. The user wants to know which _modules_ define a certain
 symbol, so in this case it should say that modules ModA, ModB and ModC
 brought that symbol into scope.

 The user-interface could also simply be :i as it is now, but with one
 extra line saying where it was imported.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3464#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list