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

GHC trac at galois.com
Wed Apr 16 05:00:16 EDT 2008


#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 understand your debugger well enough to give you a coherent
 response.  My guess is that `newBoxyTyVar` will get you past the current
 "cant unify", albeit perhaps present some other part of your debugger with
 a polymorphic type it didn't expect.

 I suggest you have a chat with Simon M and/or Bernie initially.

 Meanwhile this bug is only going to affect people using the more exotic
 GHC extensions, I think.

 Still, doing something less unfriendly than crashing would be a useful
 step forward, and you can probably do that regardless?

 Simon

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


More information about the Glasgow-haskell-bugs mailing list