[GHC] #2044: "Can't unify" error in debugger

[GHC]

#2044: "Can't unify" error in debugger
--------------------+-------------------------------------------------------
 Reporter:  r6144   |          Owner:  pepe   
     Type:  bug     |         Status:  new    
 Priority:  normal  |      Milestone:  6.8.3  
Component:  GHCi    |        Version:  6.8.2  
 Severity:  normal  |     Resolution:         
 Keywords:          |     Difficulty:  Unknown
 Testcase:          |   Architecture:  x86    
       Os:  Linux   |  
--------------------+-------------------------------------------------------
Changes (by simonpj):

  * owner:  simonpj => pepe

Comment:

 The "can't unify" message comes from `RtsClosureInspect`, which is Pepe
 and Simon's debugger.  I suspect it's confused by the for-all in the type.

 Ian is right, incidentally, that the short program he gives should be
 rejected unless you specify `-XImpredicativeTypes`.

 So I'm assigning this bug to Pepe.

 Simon

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