[GHC] #1173: Impredicative type-class context causes stack overflow or non-termination in type checker

[GHC]

#1173: Impredicative type-class context causes stack overflow or non-termination
in type checker
----------------------+-----------------------------------------------------
 Reporter:  ccshan    |          Owner:           
     Type:  bug       |         Status:  closed   
 Priority:  normal    |      Milestone:           
Component:  Compiler  |        Version:  6.6      
 Severity:  normal    |     Resolution:  duplicate
 Keywords:            |     Difficulty:  Unknown  
 Testcase:            |   Architecture:  Unknown  
       Os:  Unknown   |  
----------------------+-----------------------------------------------------
Changes (by ccshan):

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

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