[GHC] #3484: GHC diverges when proving nonequality of types

[GHC]

#3484: GHC diverges when proving nonequality of types
------------------------------+---------------------------------------------
 Reporter:  ryani             |          Owner:                  
     Type:  bug               |         Status:  new             
 Priority:  normal            |      Milestone:                  
Component:  Compiler          |        Version:  6.10.4          
 Severity:  normal            |     Resolution:                  
 Keywords:                    |       Testcase:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
------------------------------+---------------------------------------------
Comment (by chak):

 We should probably document this somewhere: we know nothing about the
 properties of programs combining type families and rank-n types.  It
 wouldn't surprise me if some of these programs lead to the type checker
 diverging.  In other words, solving this problem likely requires some
 serious research into type systems combining type families and rank-n
 types.

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