[GHC] #5595: Unification under a forall doesn't allow full constraint solving

[GHC]

#5595: Unification under a forall doesn't allow full constraint solving
---------------------------------+------------------------------------------
    Reporter:  basvandijk        |       Owner:  simonpj                       
        Type:  bug               |      Status:  merge                         
    Priority:  normal            |   Milestone:  7.6.1                         
   Component:  Compiler          |     Version:  7.2.1                         
    Keywords:                    |          Os:  Unknown/Multiple              
Architecture:  Unknown/Multiple  |     Failure:  GHC rejects valid program     
  Difficulty:  Unknown           |    Testcase:  typecheck/should_compile/T5595
   Blockedby:                    |    Blocking:                                
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => merge
  * difficulty:  => Unknown
  * testcase:  => typecheck/should_compile/T5595


Comment:

 Test added. Yes this bug fix should be in 7.4.

 Setting to 'merge' in case Ian hasn't merged it yet.

 Simon

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