[GHC] #1406: Constraint doesn't reduce in the presence of quantified type variables

[GHC]

#1406: Constraint doesn't reduce in the presence of quantified type variables
----------------------------------------+-----------------------------------
    Reporter:  ccshan                   |        Owner:         
        Type:  bug                      |       Status:  closed 
    Priority:  normal                   |    Milestone:         
   Component:  Compiler (Type checker)  |      Version:  6.6.1  
    Severity:  normal                   |   Resolution:  fixed  
    Keywords:                           |   Difficulty:  Unknown
          Os:  Unknown                  |     Testcase:  tc229  
Architecture:  x86                      |  
----------------------------------------+-----------------------------------
Changes (by igloo):

  * resolution:  => fixed
  * testcase:  => tc229
  * status:  new => closed

Comment:

 Thanks for the report. This already works in the HEAD; I've added your
 example to the testsuite as test tc229.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1406>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs