[GHC] #8460: Annotation reification with types in TH

[GHC]

#8460: Annotation reification with types in TH
-------------------------------------------+-------------------------------
       Reporter:  errge                    |             Owner:
           Type:  feature request          |            Status:  new
       Priority:  normal                   |         Milestone:  7.8.1
      Component:  Compiler                 |           Version:  7.7
       Keywords:                           |  Operating System:
   Architecture:  Unknown/Multiple         |  Unknown/Multiple
     Difficulty:  Easy (less than 1 hour)  |   Type of failure:
     Blocked By:                           |  None/Unknown
Related Tickets:  #8397                    |         Test Case:
                                           |          Blocking:
-------------------------------------------+-------------------------------
 The attached patch adds two simple helper functions to support typed
 reification of annotations.  This was not in the original #8397 patch only
 because the typed branch was not merged at that time.

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