[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                         
---------------------------------+------------------------------------------
Changes (by simonpj):

 * cc: dimitris@… (added)


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