Why do Names defined in the current module lack a module name?

[Johan Tibell]

On Wed, Apr 3, 2013 at 5:42 PM, Manuel M T Chakravarty
<chak at cse.unsw.edu.au> wrote:
> Simon's point is that GHC can print names in different ways. The verbosity of a printed name depends on the context in which it is printed (and -dppr-debug is a way to tell GHC that you want to get all info, including uniques etc).

I understand that. I think it's unrelated to my problem however.
moduleName_maybe, the function that's supposed to give me the module
of a Name returns Nothing for all locally defined names. My guess is
that these Names aren't made fully qualified until some later stage.

> I'm not sure what your 'invertedIndex' does. You seem to use the 'Show' instance via 'print'. However, I don't think 'Name' has a 'Show' instance. So, I wonder how you convert the 'Name's to 'String's.

invertedIndex isn't interesting in this case. Briefly, it takes a Bag
of Names created by the 'symbols' function and build an inverted index
(a search engine term) from the names. I derived Show instances for
all GHC types for debugging.

> In GHC, we do the following, use 'ppr' to convert an entity to an 'SDoc' and then when the 'SDoc' gets turned into a 'String', the dynamic flags determine what detail of a 'Name' to print. You can do this in one step with 'showPpr' <http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-7.6.2/Outputable.html#v:showPpr>, but you need to supply some 'DynFlags' <http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-7.6.2/DynFlags.html#t:DynFlags>.