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