[GHC] #5406: Template Haskell: Reification of type family instances

[GHC]

#5406: Template Haskell: Reification of type family instances
---------------------------------+------------------------------------------
    Reporter:  reinerp           |        Owner:              
        Type:  feature request   |       Status:  new         
    Priority:  normal            |    Milestone:              
   Component:  Template Haskell  |      Version:  7.0.4       
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 OK, I'm about to commit a patch implementing this change.  Concering the
 last bullet of my proposal above, I decided to have a new constructor
 `FamilyI` in `Info`, partly because it's more explicit, and partly because
 it avoids requiring everyone who pattern-matches on `TyConI` to change
 their code.

 Simon

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