reify module list in TH
This patch is for the use-case detailed in #7867 (closed).
The added Q monad method provides the ability to get a list of module names in a format that is compatible with the module annotation reification in #8337 (closed).
The patch contains a helper method that depends on #8337 (closed), so that should be applied first. If this is problematic, it's easy to separate this patch into one that doesn't depend on #8337 (closed) and an other that does. Then we can add the latter later.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Activity
mentioned in issue #1480 (closed)
mentioned in issue #7867 (closed)
mentioned in issue #8337 (closed)
mentioned in issue #8397 (closed)
changed milestone to %7.8.1
added Tbug Trac import labels
Attached file
th-8398.patch(download).th part
Attached file
ghc-8398.patch(download).ghc part
mentioned in issue #8426
Trac metadata
Trac field Value BlockedBy → #8426 changed milestone to %7.10.1
This current patch seems to be a bad idea because of the reifyModuleNames API.
It returns a list of modules that are currently "known by the compiler". This "known by the compiler" is very GHC specific, related to orphan modules and hard to text as a standard that is easy to Haskell implementors to follow.
A better API to provide is "a list of modules that this module depends" and "a list of modules that this module depends on transitively".
The first is provided by #1480 (closed) and on top of that the second can be implemented as a helper method totally in Language.Haskell.TH.Lib, without introducing new Q monad instructions or changing the compiler in any way.
Therefore I'm setting this blocked by #1480 (closed) and targeting 7.10.
Trac metadata
Trac field Value BlockedBy #8426 → #1480 (closed) This ticket is mentioned on TemplateHaskell/Annotations.
changed milestone to %8.0.1
added Pnormal label
