Hi Don, This doesn't tell me what is extraneous in the exports. For instance If I have two modules A and Main module A (f, g) where f :: a -> a f = id g :: a -> a g = id module Main (main) where import qualified A main :: IO () main = do let a = A.f 7 putStrLn $ show a I'd like something to tell me that A.g is not used in the program. Thanks, Sean On Tue, Mar 2, 2010 at 4:28 PM, Don Stewart <dons@galois.com> wrote:

seanmcl:

...

Hello,

I have a midsize program, and would like to simplify the module interfaces for my own sanity. I know there are tools to check for extraneous imports, but is there something similar for exports? For instance, if module A exports f, but A.f is never used in my compiled program, I would like to be warned of this fact.

ghc -ddump-minimal-imports

I think that's the flag.

-- Dump