[GHC] #11078: Access to module renaming with reifyModule, in TemplateHaskell

[GHC]

#11078: Access to module renaming with reifyModule, in TemplateHaskell
-------------------------------------+-------------------------------------
        Reporter:  cipher1024        |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Template Haskell  |              Version:  7.10.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * milestone:   => 8.0.1


Comment:

 Good point. What about this design:

 {{{
 data ModuleInfo = ModuleInfo [ModuleImport]
 data ModuleImport = ModuleImport Module  -- ^ imported module
                                  Bool    -- ^ qualified?
                                  (Maybe String)  -- ^ synonym
                                  [Name]  -- ^ imported names
 data Module = Module PkgName ModName  -- as it is today
 }}}

 I'm not sure that GHC can fully populate `ModuleImport` given the
 information that it has to hand. But if we could build `ModuleImport`s,
 would this solve your problem?

 One further refinement is to enable querying of whether or not the user
 specified an import list or if simply all names were imported. But I'm
 less convinced of the need for that at this point.

 It would be lovely if someone were to do this for 8.0!

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