[GHC] #4093: compiler hangs (type checking?)

[GHC]

#4093: compiler hangs (type checking?)
-------------------------------------------------------+--------------------
  Reporter:  dias                                      |          Owner:  simonpj
      Type:  bug                                       |         Status:  closed 
  Priority:  high                                      |      Milestone:  7.0.1  
 Component:  Compiler                                  |        Version:  6.13   
Resolution:  fixed                                     |       Keywords:         
  Testcase:  indexed-types/should_fail/T4093a, T4093b  |      Blockedby:  4232   
Difficulty:                                            |             Os:  Linux  
  Blocking:                                            |   Architecture:  x86    
   Failure:  Compile-time crash                        |  
-------------------------------------------------------+--------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => indexed-types/should_fail/T4093a, T4093b
  * resolution:  => fixed


Comment:

 This is indeed fixed with the new typechecker.

 Can you try in your application?  Use the HEAD, or the upcoming release
 candidate.

 I'm pretty confident it's fixed, so I'll close it meanwhile.

 Simon

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