Changes between Version 18 and Version 19 of GhciDebugger


Ignore:
Timestamp:
Feb 2, 2007 12:27:59 PM (7 years ago)
Author:
mnislaih
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v18 v19  
    224224}}} 
    225225They get filled with the pointer to the ids in scope, their values, the site, a message, and the wrapped value in the desugarer. Everything served with the right amounts of unsafeCoerce sauce and TyApp dressing to make sure it core-lints. 
     226 
     227This transformation is loosely formalized in GhciDebugger/BreakpointJump 
    226228 
    227229The site number is relevant only for 'auto' breakpoints, explained later. For the other two types of breakpoints its value should be 0.