[GHC] #940: GADT + impredicative polymorphism => stack overflow

[GHC]

#940: GADT + impredicative polymorphism => stack overflow
-------------------------------------+--------------------------------------
 Reporter:  guest                    |          Owner:  simonpj
     Type:  bug                      |         Status:  closed 
 Priority:  normal                   |      Milestone:         
Component:  Compiler (Type checker)  |        Version:  6.6    
 Severity:  normal                   |     Resolution:  fixed  
 Keywords:                           |     Difficulty:  Unknown
 Testcase:                           |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

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

Comment:

 Great bug.  I'd written a loop in the type-refinement code, which only
 shows up when forall types are involved.  Now fixed.

 Alas no decent workaround for 6.6.  The fix will be in 6.6.1 though.  And
 the HEAD is fine.

 Simon

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