[GHC] #4935: New type error in GHC 7.1 with TypeFamilies, Rank2Types

[GHC]

#4935: New type error in GHC 7.1 with TypeFamilies, Rank2Types
----------------------------------------+-----------------------------------
    Reporter:  patrick_premont          |        Owner:                                    
        Type:  bug                      |       Status:  merge                             
    Priority:  normal                   |    Milestone:                                    
   Component:  Compiler (Type checker)  |      Version:  7.1                               
    Keywords:                           |     Testcase:  indexed_types/should_compile/T4935
   Blockedby:                           |   Difficulty:                                    
          Os:  Windows                  |     Blocking:                                    
Architecture:  x86                      |      Failure:  None/Unknown                      
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => merge
  * testcase:  => indexed_types/should_compile/T4935


Comment:

 Excellent!  Fixed by
 {{{
 Fri Feb 11 17:40:58 GMT 2011  simonpj at microsoft.com
   * New plan: push unsolved wanteds inwards

   This fixes Trac #4935.  See Note [Preparing inert set for implications].
   Lots of comments, but not a lot of code is changed!

     M ./compiler/typecheck/TcCanonical.lhs -17 +19
     M ./compiler/typecheck/TcSimplify.lhs -37 +77
 }}}
 Lots of work by Dimitrios.  Thank you!

 Simon

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