[GHC] #1480: Template Haskell should allow reification of modules

[GHC]

#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