Struct TaggedStack 

#[repr(C)]
pub struct TaggedStack {
    pub base: *mut StackValue,
    pub sp: usize,
    pub capacity: usize,
}

Stack state for the tagged value stack

This struct is passed to/from runtime functions and represents the complete state of a strand’s value stack.

Uses 32-byte StackValue slots for FFI compatibility.

Fields

base: *mut StackValue

Pointer to the base of the stack array (array of StackValue)

sp: usize

Current stack pointer (index into array, points to next free slot)

capacity: usize

Total capacity of the stack (number of slots)

Implementations

impl TaggedStack

pub fn new(capacity: usize) -> Self

Create a new tagged stack with the given capacity

pub fn with_default_capacity() -> Self

Create a new tagged stack with default capacity

pub fn depth(&self) -> usize

Get the current stack depth

pub fn is_empty(&self) -> bool

Check if the stack is empty

pub fn has_capacity(&self, n: usize) -> bool

Check if the stack has room for n more values

pub fn grow(&mut self, min_capacity: usize)

Grow the stack to accommodate more values

Doubles capacity by default, or grows to min_capacity if larger.

pub fn push(&mut self, val: StackValue)

Push a StackValue onto the stack

Grows the stack if necessary.

pub fn pop(&mut self) -> StackValue

Pop a StackValue from the stack

Panics if the stack is empty.

pub fn peek(&self) -> StackValue

Peek at the top value without removing it

Panics if the stack is empty.

pub fn sp_ptr(&self) -> *mut StackValue

Get a pointer to the current stack pointer position

This is used by generated code for inline stack operations. Returns pointer to next free StackValue slot.

pub fn push_int(&mut self, val: i64)

Push an integer value using Value::Int layout slot0 = 0 (Int discriminant), slot1 = value

pub fn pop_int(&mut self) -> i64

Pop and return an integer value

Panics if the top value is not an integer.

pub fn clone_stack(&self) -> Self

Clone this stack (for spawn)

Creates a deep copy. For heap objects, properly clones them using the clone_stack_value function which handles each type correctly.

Trait Implementations

impl Drop for TaggedStack

fn drop(&mut self)

Executes the destructor for this type.