[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 illissius):

 Alright, thanks a lot. :)

 ...as far as I can tell, though, it seems perfectly capable of
 representing equality predicates?

 {{{
 data Con = ... | ForallC [TyVarBndr] Cxt Con
 type Cxt = [Pred]
 data Pred = ClassP Name [Type] | EqualP Type Type
 }}}

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