[GHC] #10842: "Reactive" Template Haskell

[GHC]

#10842: "Reactive" Template Haskell
-------------------------------------+-------------------------------------
        Reporter:  MikeIzbicki       |                   Owner:
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:
       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:  9699              |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by luite):

 Should the callback be active for the current module or for something
 more? Beyond the current module would be hard to support in the presence
 of partial rebuilds.

 Should this be called for all declarations below the point adding the
 callback, or just for those added by TH? If this is to be called for
 everything, then this could end up being problematic for new language
 extensions that cannot yet be converted to a TH `Dec` .

 Also I'm a bit wary about having more higher order functions in the low-
 level `Q` API, since they're significantly harder to support in
 implementations where TH isn't run in the GHC address space (like GHCJS
 and the proposed out-of-process TH extension for stage1 (cross) compiler
 TH support). As far as I can tell, this particular extension would still
 be implementable though.

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