Struct FunctionFrame 

pub struct FunctionFrame {
    pub label: String,
    pub comment: String,
    pub num_parameters: usize,
    pub num_definitions: usize,
    pub epilogue_label: String,
    pub parameter_names: Vec<String>,
}

Everything end_function needs to splice prologue and epilogue around a finished body (design §6.1).

Fields

label: String

comment: String

Human-readable signature for the label comment, e.g. fn add(a, b).

num_parameters: usize

Parameters already counting a method’s implicit this; spilled from x1..x{n} into symbol slots 0..n-1.

num_definitions: usize

SymbolTable::num_definitions of the finished scope.

epilogue_label: String

Label the body’s return paths branch to; the epilogue lands here.

parameter_names: Vec<String>

Comments for the spilled parameter slots (name per parameter).