#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: closed request | Milestone: 7.8.1 Priority: highest | Version: 7.7 Component: | Keywords: Template Haskell | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: 8398 | ----------------------------+---------------------------------------------- Comment (by errge): Yes, you're correct, I want to reify not just the current module, but any module, even in packages. Therefore `ModGuts` is out of the question, and we can only depend on `ModIface`, that is actually serialized to `.hi` files. Your first option (to extend the serialization format with the Boolean) seems to be the correct way, that's what I will try first, when I sit down to do it. But first, I want to look around and get a better understanding about the whole recompilation checking stuff. This discussion and the wikipage will help a lot, I hope. The second option is unsatisfactory: as you pointed out before, it's different between different haskell implementations (or even between different versions of cabal libraries). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/1480#comment:25 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler