[GHC] #5936: Support for data families in generics

[GHC]

#5936: Support for data families in generics
------------------------------+---------------------------------------------
 Reporter:  reinerp           |          Owner:  dreixel         
     Type:  feature request   |         Status:  patch           
 Priority:  normal            |      Component:  Compiler        
  Version:  7.4.1             |       Keywords:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown      |       Testcase:                  
Blockedby:                    |       Blocking:                  
  Related:                    |  
------------------------------+---------------------------------------------
Changes (by dreixel):

  * owner:  => dreixel


Comment:

 Thanks for the patch! I'm just not entirely sure if this is "the right
 way" to support data families. For a data family
 {{{
 data family D a
 data instance D Int  = DInt
 data instance D Bool = DBool
 }}}
 your patch basically says that `D Int` is one datatype, and `D Bool` is
 another (unrelated) datatype. This might very well be the only thing we
 can do for data families; at least I cannot quickly come up with an idea
 of how to do it in any other way. But I would like to hear what other
 people think of this... maybe we should start a discussion on the
 generics/libraries mailing list?

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