[GHC] #6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints

[GHC]

#6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints
-------------------------------------------------+--------------------------
  Reporter:  Lemming                             |          Owner:                  
      Type:  feature request                     |         Status:  closed          
  Priority:  normal                              |      Milestone:                  
 Component:  Compiler (Type checker)             |        Version:  7.4.1           
Resolution:  fixed                               |       Keywords:                  
        Os:  Unknown/Multiple                    |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program           |     Difficulty:  Unknown         
  Testcase:  indexed-types/should_compile/T6088  |      Blockedby:                  
  Blocking:                                      |        Related:  3046            
-------------------------------------------------+--------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed
  * testcase:  => indexed-types/should_compile/T6088


Comment:

 Thanks for pointing this out.  Easily fixed.
 {{{
 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(-)
 }}}
 The log message is wrong .... this really is the patch for #6088

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