Enum ReifyResume 

pub enum ReifyResume {
    IfTrueDone {
        c: RcExp,
        env: Env,
        f: RcExp,
    },
    IfFalseDone {
        c: RcExp,
        t: RcExp,
    },
    RunStaged {
        b: RcExp,
    },
    RunNowInner {
        env: Env,
    },
    LiftRefDone {
        s1: RcExp,
    },
    TopLevel,
}

Discriminator for what shape of staged Exp to assemble when a reify scope completes. Each reify scope in the recursive code corresponds to one of these — the resume action knows what surrounding Exp the reified body slots into.

Variants

IfTrueDone

Exp::If(c, t, f) with c=Code: t was being reified; f still needs reifying. Push a fresh ReifyCExit { resume: IfFalseDone } scope when this fires.

Fields

c: RcExp

The condition’s code, already forced.

env: Env

Environment for reifying the false branch.

f: RcExp

The unevaluated false branch.

IfFalseDone

Both branches reified; reflect the staged If(c, t, f).

Fields

c: RcExp

The condition’s code, already forced.

t: RcExp

The reified true branch.

RunStaged

Exp::Run(b, e) with b=Code: reify e, reflect Run(b, e’).

Fields

b: RcExp

The first operand’s code, already forced.

RunNowInner

Exp::Run(b, e) run-now path: inner reifyc completed, now do outer reifyv.

Fields

env: Env

Environment for the outer reifyv evaluation.

LiftRefDone

Exp::LiftRef(e1, e2) with e1=Code: reify e2, reflect LiftRef.

Fields

s1: RcExp

The first operand’s code, already forced.

TopLevel

Resume from evalmsg-style top-level reifyv. The result is returned directly (no surrounding staged Exp).