[GHC] #5939: Standalone deriving Generic on type with instantiated arguments

[GHC]

#5939: Standalone deriving Generic on type with instantiated arguments
------------------------------+---------------------------------------------
 Reporter:  dreixel           |          Owner:  dreixel         
     Type:  bug               |         Status:  new             
 Priority:  normal            |      Component:  Compiler        
  Version:  7.5               |       Keywords:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/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/5939#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler