Changes between Version 1 and Version 2 of GhciDebugger/BreakpointJump


Ignore:
Timestamp:
Feb 2, 2007 1:46:03 PM (8 years ago)
Author:
mnislaih
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger/BreakpointJump

    v1 v2  
    3939 
    4040=== breakpointJump desugaring === 
     41 
     42The main role of the desugaring, as shown by the rules, is injecting the explicit list of local bindings.  
     43 
     44In the rules below <breakpoint> and <breakpointJump> are placeholders for the several breakpoint flavors. Each flavor of breakpoint has a corresponding jump function: 
     45 
     46{{{ 
     47 breakpoint      -  breakpointJump 
     48 breakpointCond  -  breakpointJumpCond 
     49 breakpointAuto  -  breakpointJumpAuto 
     50}}} 
     51 
     52The <ptr b> placeholder denotes a pointer to the compiler datastructures for b, which in GHC are values of type [[GhcFile(compiler/basictypes/Id.hs)]]. 
     53  
     54The <srcloc x> placeholder denotes the source code location information for the expression x. 
     55 
    4156{{{ 
    4257Declarations: 
     
    5368Expressions: 
    5469 
    55    [[ breakpoint x ]]_b       ==>   breakpointJump b [[x]]_b 
     70   [[ <breakpoint> x ]]_b     ==>   <breakpointJump> <ptr b> b <srcloc x> [[x]]_b 
    5671 
    5772   [[ x ]]_b                  ==>   x