[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:                    |
-------------------------------------+-------------------------------------

Comment (by jstolarek):

 Replying to [comment:16 osa1]:
 > `LImportDecl` has this field: `iDeclHiding :: Maybe (Bool, LIE)`. As far
 > as I understand from the documentation if the `Bool` is `False` it's an
 > explicit import. Otherwise it's an explicit `hiding (...)`.
 Good point. So it looks like we have all the necessary information at
 hand. When `fst . ideclHiding` is `False` then the second component of the
 tuple stores the names of imported things. If `fst . ideclHiding` is
 `True`, then we must compute imported names based on `imv_all_exports`
 (all things provided by the module) and the second component of
 `ideclHiding` (hidden things, that need to be excluded from the list).
 Probably a bit tedious, but doable. We'd need to figure out how to
 sensibly extract names from `LIE name`.

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