[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:  new                      
    Priority:  normal            |    Milestone:  7.6.1                    
   Component:  Compiler          |      Version:  7.2.1                    
    Keywords:                    |     Testcase:                           
   Blockedby:                    |   Difficulty:                           
          Os:  Unknown/Multiple  |     Blocking:                           
Architecture:  Unknown/Multiple  |      Failure:  GHC rejects valid program
---------------------------------+------------------------------------------
Changes (by nathanhowell):

 * cc: nathanhowell@… (added)


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