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

[GHC]

#1174: 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 igloo):

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

Comment:

 Thanks for the report.

 This is a duplicate of #940, fixed in the 6.6 branch and the HEAD.

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