[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            |   Milestone:  7.6.1           
   Component:  Compiler          |     Version:  7.4.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by jpm@…):

 commit 156ec95a8e92cc8314db134311d2fbb0269f0679
 {{{
 Author: Jose Pedro Magalhaes <jpm at cs.ox.ac.uk>
 Date:   Thu Jun 21 12:23:01 2012 +0100

     Allow deriving Generic1

     This completes the support for generic programming introduced
     in GHC 7.2. Generic1 allows defining generic functions that
     operate on type containers, such as `fmap`, for instance.

     Along the way we have fixed #5936 and #5939, allowing
     deriving Generic/Generic1 for data families, and disallowing
     deriving Generic/Generic1 for instantiated types.

     Most of this patch is Nicolas Frisby's work.

  compiler/basicTypes/OccName.lhs      |    5 +-
  compiler/prelude/PrelNames.lhs       |   13 +-
  compiler/typecheck/TcDeriv.lhs       |  158 +++++++----
  compiler/typecheck/TcGenGenerics.lhs |  514
 ++++++++++++++++++++++++++--------
  4 files changed, 521 insertions(+), 169 deletions(-)
 }}}

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