[GHC] #7788: Recursive type family causes <<loop>>

[GHC]

#7788: Recursive type family causes <<loop>>
----------------------------------------+-----------------------------------
    Reporter:  shachaf                  |       Owner:  simonpj                    
        Type:  bug                      |      Status:  new                        
    Priority:  normal                   |   Milestone:  7.8.1                      
   Component:  Compiler (Type checker)  |     Version:  7.6.2                      
    Keywords:                           |          Os:  Unknown/Multiple           
Architecture:  Unknown/Multiple         |     Failure:  Incorrect result at runtime
  Difficulty:  Unknown                  |    Testcase:                             
   Blockedby:                           |    Blocking:                             
     Related:                           |  
----------------------------------------+-----------------------------------
Changes (by igloo):

  * owner:  => simonpj
  * difficulty:  => Unknown
  * component:  Compiler => Compiler (Type checker)
  * milestone:  => 7.8.1


Comment:

 Simon, is this the expected behaviour?

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