[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 mnislaih):

 I tried with boxy tyvars and that makes the trick almost.
 The problem now is in the side-effect free unification procedure living in
 types/Unify.hs (previously TcGadt.hs). It fails when asked, at some point
 later in the debugger, to unify the type of rsRandomArray with itself.

 I think I will simply switch to boxyUnify here too, and that should
 suffice to close this ticket.

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