Skip to content

Find import declaration importing a certain function

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.

Edited by Ian Lynagh -
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information