Enum Cont 

pub enum Cont {
    Prim1Finish {
        op: Prim1,
    },
    Prim2Right {
        env: Env,
        op: Prim2,
        e2: RcExp,
    },
    Prim2Finish {
        op: Prim2,
        v1: Val,
    },
    AppArgs {
        env: Env,
        args: Box<[RcExp]>,
        done: Vec<Val>,
    },
    ApplyArgs {
        env: Env,
        args: RcExp,
    },
    ApplyFinish {
        f: Val,
    },
    LiftFunClo {
        env: Env,
        f: RcExp,
    },
    LiftFunGo {
        arity: u16,
    },
    OpArgs {
        idx: u16,
        env: Env,
        args: Vec<RcExp>,
        next: usize,
        done: Vec<Val>,
    },
    IfDispatch {
        env: Env,
        then_: RcExp,
        else_: RcExp,
    },
    LetBody {
        env: Env,
        body: RcExp,
    },
    CatchExit {
        saved: Scope,
    },
    ThrowFinish,
    LiftFinish,
    ForceCode {
        mode: ForceMode,
        then: Then,
    },
    LiftCloFinish {
        arity: u16,
        then: Then,
    },
    ReifyVExit {
        saved: Scope,
    },
    RunNowExit {
        saved_level: usize,
    },
    LiftRefDispatch {
        env: Env,
        e2: RcExp,
    },
    LiftRefPersist,
    RunDispatch {
        env: Env,
        e: RcExp,
    },
    IsCodeRight {
        env: Env,
        e2: RcExp,
    },
    IsCodeFinish {
        v1: Val,
    },
    EvalmsRight {
        env: Env,
        e2: RcExp,
    },
    EvalmsFinish {
        env_val: Val,
    },
}

Variants

Prim1Finish

Fields

op: Prim1

Prim2Right

Fields

env: Env

op: Prim2

e2: RcExp

Prim2Finish

Fields

op: Prim2

v1: Val

AppArgs

The operator goes into done alongside the arguments because that is the frame the callee is entered under - a closure binds itself first. So an empty done means the operator is still being evaluated, which is how receives tells operator position from argument position.

Fields

env: Env

args: Box<[RcExp]>

done: Vec<Val>

ApplyArgs

Fields

env: Env

args: RcExp

ApplyFinish

Fields

f: Val

LiftFunClo

Fields

env: Env

f: RcExp

LiftFunGo

Fields

arity: u16

OpArgs

Fields

idx: u16

env: Env

args: Vec<RcExp>

next: usize

done: Vec<Val>

IfDispatch

Fields

env: Env

then_: RcExp

else_: RcExp

LetBody

Fields

env: Env

body: RcExp

CatchExit

Carries the staging state to roll back to, so an abandoned region leaves no half-built block behind.

Fields

saved: Scope

ThrowFinish

LiftFinish

ForceCode

The iterative form of the reference’s force-code, so a closure η-expansion grows the continuation stack rather than Rust’s.

Fields

mode: ForceMode

then: Then

LiftCloFinish

Fields

arity: u16

then: Then

ReifyVExit

A block that stayed empty means nothing staged, so the value passes through unchanged.

Fields

saved: Scope

RunNowExit

Fields

saved_level: usize

LiftRefDispatch

Fields

env: Env

e2: RcExp

LiftRefPersist

RunDispatch

Fields

env: Env

e: RcExp

IsCodeRight

Fields

env: Env

e2: RcExp

IsCodeFinish

Fields

v1: Val

EvalmsRight

Fields

env: Env

e2: RcExp

EvalmsFinish

Fields

env_val: Val