[GHC] #4296: The dreaded SkolemOccurs problem

[GHC]

#4296: The dreaded SkolemOccurs problem
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  simonpj                              
        Type:  bug               |       Status:  new                                  
    Priority:  normal            |    Milestone:  7.4.1                                
   Component:  Compiler          |      Version:  6.12.3                               
    Keywords:                    |     Testcase:  indexed-types/should_compile/Simple20
   Blockedby:                    |   Difficulty:                                       
          Os:  Unknown/Multiple  |     Blocking:                                       
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown                         
---------------------------------+------------------------------------------

Comment(by simonpj):

 I reduced the context stack depth for test `SkolemOccursLoop` to 10, for
 now.

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