[GHC] #6147: GeneralizedNewtypeDeriving should fail with data families

[GHC]

#6147: GeneralizedNewtypeDeriving should fail with data families
-----------------------------------------+----------------------------------
 Reporter:  rl                           |          Owner:                  
     Type:  bug                          |         Status:  new             
 Priority:  normal                       |      Component:  Compiler        
  Version:  7.2.1                        |       Keywords:                  
       Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple
  Failure:  GHC accepts invalid program  |       Testcase:                  
Blockedby:                               |       Blocking:                  
  Related:                               |  
-----------------------------------------+----------------------------------

Comment(by simonpj@…):

 commit 3a266f1308104ccbcca435ad9632738734e13c84
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Fri Jun 8 09:44:23 2012 +0100

     Allow equalities in a derived instance context

     Fixes Trac #6147

  compiler/typecheck/TcMType.lhs |   15 +++++++++------
  1 files changed, 9 insertions(+), 6 deletions(-)
 }}}

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