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

[GHC]

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

 I don't fully grok the debugger type reconstruction, but `newBoxyTyVar`
 might be what you want.  It does not insist on unifying with a monotype.

 Simon

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