[GHC] #4358: infinite loop on unification with a type family context

[GHC]

#4358: infinite loop on unification with a type family context
--------------------------------+-------------------------------------------
    Reporter:  patrick_premont  |       Owner:                                   
        Type:  bug              |      Status:  new                              
    Priority:  normal           |   Component:  Compiler (Type checker)          
     Version:  7.1              |    Keywords:  infinite loop type family context
    Testcase:                   |   Blockedby:                                   
          Os:  Windows          |    Blocking:                                   
Architecture:  x86_64 (amd64)   |     Failure:  Compile-time crash               
--------------------------------+-------------------------------------------
Changes (by patrick_premont):

  * version:  6.12.1 => 7.1


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