[GHC] #5970: Type checker hangs

[GHC]

#5970: Type checker hangs
----------------------------------------+-----------------------------------
    Reporter:  Lemming                  |       Owner:                              
        Type:  bug                      |      Status:  infoneeded                  
    Priority:  normal                   |   Milestone:                              
   Component:  Compiler (Type checker)  |     Version:  7.4.1                       
    Keywords:                           |          Os:  Linux                       
Architecture:  x86                      |     Failure:  Compile-time performance bug
  Difficulty:  Unknown                  |    Testcase:                              
   Blockedby:                           |    Blocking:                              
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by simonpj):

 OK so the situation seems to be:
  * There is still a performance bug in the type checker
  * It goes away if you don't use functional dependencies

 If you feel like turning your example into a reproducible test case we can
 follow it up; or we can just leave it since it's not now important for
 you. It's up to you really. "Reproducible" doesn't necessarily mean
 "small"; it just means a set of instructions that someone can follow, and
 preferably no hard-to-install dependencies.

 Simon

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