#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): I tried to implement this but as also noted by @goldfire I don't think we have necessary information in `TcM` for this change. One way to pass necessary information to type checker might be to pass `HsRnModule` in `tcRnModule` to `initTc`, and `initTc` would then record it in `TcGblEnv` or `TcLclEnv` (I don't know the difference yet). @goldfire, do you have any ideas about this? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11078#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler