[GHC] #10697: Change template-haskell API to allow NOUNPACK, lazy annotations

[GHC]

#10697: Change template-haskell API to allow NOUNPACK, lazy annotations
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Template Haskell  |              Version:  7.10.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #5290, #8347      |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 It's fine to make ''both'' source-code ''and'' GHC-decision information
 available to reification in TH.  But you may want to consider making the
 latter come via some "info" structure returned by reification, rather than
 trying to put it in a TH `Decl`.  Why?

  * If you put it in a TH `Decl` you are forced into this `Pending` vs
 `Decided` sum type which is ugly.

  * It'll conflict with #11081 (introspective TH)

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