[GHC] #4420: T3851 fails because of untouchable type variables and escaping skolems

[GHC]

#4420: T3851 fails because of untouchable type variables and escaping skolems
----------------------------------+-----------------------------------------
    Reporter:  daniel.is.fischer  |        Owner:              
        Type:  bug                |       Status:  new         
    Priority:  normal             |    Milestone:              
   Component:  Test Suite         |      Version:  7.1         
    Keywords:                     |     Testcase:              
   Blockedby:                     |   Difficulty:              
          Os:  Unknown/Multiple   |     Blocking:              
Architecture:  Unknown/Multiple   |      Failure:  None/Unknown
----------------------------------+-----------------------------------------

Comment(by simonpj):

 Yes. This is the last remaining testsuite failure relating to the type
 checker.  We're on it.

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