[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 osa1):

 > Which field of these data types stores the list of *imported* functions?

 I don't think there's a way to get all the imported functions from those
 types. But we can learn
 qualified imports by looking at `HsModule`s `hsmodImports ::
 [LImportDecl]`
 field. `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 (...)`.

 > How can we pass data from these to the type checker? Won't this be a
 gross
 > hack?

 We should decide how to update the state type in type checker to pass this
 information. I wouldn't call this a hack, if we want this functionality we
 need
 to somehow pass this information. Or we can create some new types instead
 of just
 passing `HsModule`.

 I'm busy until next week and I can try some alternative designs next week,
 unless someone solves this in the meantime.

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