[GHC] #5581: ConstraintKinds lets you put the typechecker into a loop

[GHC]

#5581: ConstraintKinds lets you put the typechecker into a loop
---------------------------------+------------------------------------------
    Reporter:  pumpkin           |       Owner:                         
        Type:  bug               |      Status:  new                    
    Priority:  normal            |   Component:  Compiler (Type checker)
     Version:  7.3               |    Keywords:  ConstraintKinds        
    Testcase:                    |   Blockedby:                         
          Os:  Unknown/Multiple  |    Blocking:                         
Architecture:  Unknown/Multiple  |     Failure:  Compile-time crash     
---------------------------------+------------------------------------------

Comment(by pumpkin):

 The bug arises even with

 {{{
 instance C (C p) => C (C (C p))
 }}}

 but we thought it'd be more indicative to include the other class to show
 that it isn't just caused by creating an instance of yourself.

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