#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