DemoConintuationLocal

A local debugger for seeing exactly how Rho call forms map onto Pi continuation control: Suspend keeps a return point, Resume switches without adding one, and Replace discards the current top context before switching.

Mode Suspend
Step 0

Rho Source

line 1

Pi Program

line 1

Interactive Pi Stack

Instruction Stream

Stack

Index Value

Stepper

ready

    Executor State

    abstract VM

    Current Continuation

    Context Stack

    Data Stack

    Difference At The Call Site

    same callee, different continuation control
    f(a) or f(a)& Push current continuation and return here when f completes.
    f(a)... Switch to f without pushing a return point. Existing context stays intact.
    f(a)! Switch to f and drop the current top context stack entry.