[GHC] #4188: Template Haskell support for reifying non-vanilla data constructors

[GHC]

#4188: Template Haskell support for reifying non-vanilla data constructors
---------------------------------+------------------------------------------
    Reporter:  illissius         |        Owner:  illissius   
        Type:  feature request   |       Status:  patch       
    Priority:  normal            |    Milestone:              
   Component:  Template Haskell  |      Version:              
    Keywords:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Testcase:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 You are right that the existing TH data type can represent any data
 constructor that doesn't use equality predicates.  I have a variant of
 your patch that reflects this constraint directly, and is slightly tidier
 than yours (no complaints -- the internal APIs are large).  Will commit
 shortly.  Thanks for doing the homework.

 (There's still an open task on someone to design the extensions to the TH
 data type to support full GADTs, and to get consensus from the community.)

 Simon

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