Enum tvix_eval::vm::Frame

enum Frame {
    CallFrame {
        call_frame: CallFrame,
        span: Span,
    },
    Generator {
        name: &'static str,
        span: Span,
        state: GeneratorState,
        generator: Gen<VMRequest, VMResponse, Pin<Box<dyn Future<Output = Result<Value, ErrorKind>>>>>,
    },
}

A frame represents an execution state of the VM. The VM has a stack of frames representing the nesting of execution inside of the VM, and operates on the frame at the top.

When a frame has been fully executed, it is removed from the VM’s frame stack and expected to leave a result Value on the top of the stack.

Variants

CallFrame

Fields

call_frame: CallFrame

The call frame itself, separated out into another type to pass it around easily.

span: Span

Span from which the call frame was launched.

CallFrame represents the execution of Tvix bytecode within a thunk, function or closure.

Generator

Fields

name: &'static str

human-readable description of the generator,

span: Span

Span from which the generator was launched.

state: GeneratorState

generator: Gen<VMRequest, VMResponse, Pin<Box<dyn Future<Output = Result<Value, ErrorKind>>>>>

Generator itself, which can be resumed with .resume().

Generator represents a frame that can yield further instructions to the VM while its execution is being driven.

A generator is essentially an asynchronous function that can be suspended while waiting for the VM to do something (e.g. thunk forcing), and resume at the same point.

Implementations

impl Frame

pub fn span(&self) -> Span