Does this help

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/NameType

Something that starts top-level may not finish up as top-level.  Nested bindings are never qualified. 

After TidyPgm, externally-visible names (to the linker) are qualified, ones local to the .o file are not.

Does it matter?

Simon

From: ghc-devs-bounces@haskell.org [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Johan Tibell
Sent: 28 March 2013 20:35
To: ghc-devs@haskell.org
Subject: Why do Names defined in the current module lack a module name?

Hi,

I'm writing an app that uses the GHC API to extract names from modules. I've written a little AST traversal that finds all Names in the type-checked AST and writes them to a file. I noticed that every Name defined in the current module (i.e. Names generated for top-level function definitions) lack a module name i.e. nameModule_maybe return Nothing. Why is this? Should I just assume that every time nameModule_maybe return Nothing the module name is in fact the name of the current module being compiled?

-- Johan