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

[GHC]

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

  * testcase:  =>
  * owner:  => simonpj

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