[GHC] #1900: Type families with class constraints: type-checker loops

[GHC]

#1900: Type families with class constraints: type-checker loops
-------------------------------------+--------------------------------------
 Reporter:  h.holtmann               |          Owner:  chak       
     Type:  bug                      |         Status:  new        
 Priority:  normal                   |      Milestone:  6.10 branch
Component:  Compiler (Type checker)  |        Version:  6.9        
 Severity:  normal                   |     Resolution:             
 Keywords:                           |     Difficulty:  Unknown    
 Testcase:                           |   Architecture:  x86        
       Os:  Linux                    |  
-------------------------------------+--------------------------------------
Changes (by igloo):

  * owner:  => chak
  * difficulty:  => Unknown
  * component:  Compiler => Compiler (Type checker)
  * milestone:  => 6.10 branch

Comment:

 Thanks for the report. Another one for you, Manuel?

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