Enum Statement 

pub enum Statement {
    IntLiteral(i64),
    FloatLiteral(f64),
    BoolLiteral(bool),
    StringLiteral(String),
    Symbol(String),
    WordCall {
        name: String,
        span: Option<Span>,
    },
    If {
        then_branch: Vec<Statement>,
        else_branch: Option<Vec<Statement>>,
    },
    Quotation {
        id: usize,
        body: Vec<Statement>,
        span: Option<QuotationSpan>,
    },
    Match {
        arms: Vec<MatchArm>,
    },
}

Variants

IntLiteral(i64)

Integer literal: pushes value onto stack

FloatLiteral(f64)

Floating-point literal: pushes IEEE 754 double onto stack

BoolLiteral(bool)

Boolean literal: pushes true/false onto stack

StringLiteral(String)

String literal: pushes string onto stack

Symbol(String)

Symbol literal: pushes symbol onto stack Syntax: :foo, :some-name, :ok Used for dynamic variant construction and SON. Note: Symbols are not currently interned (future optimization).

WordCall

Word call: calls another word or built-in Contains the word name and optional source span for precise diagnostics

Fields

name: String

span: Option<Span>

If

Conditional: if/else/then

Pops an integer from the stack (0 = zero, non-zero = non-zero) and executes the appropriate branch

Fields

then_branch: Vec<Statement>

Statements to execute when condition is non-zero (the ‘then’ clause)

else_branch: Option<Vec<Statement>>

Optional statements to execute when condition is zero (the ‘else’ clause)

Quotation

Quotation: [ … ]

A block of deferred code (quotation/lambda) Quotations are first-class values that can be pushed onto the stack and executed later with combinators like call, times, or while

The id field is used by the typechecker to track the inferred type (Quotation vs Closure) for this quotation. The id is assigned during parsing. The span field records the source location for LSP hover support.

Fields

id: usize

body: Vec<Statement>

span: Option<QuotationSpan>

Match

Match expression: pattern matching on union types

Pops a union value from the stack and dispatches to the appropriate arm based on the variant tag.

Example:

match
  Get -> send-response
  Increment -> do-increment send-response
  Report -> aggregate-add
end

Fields

arms: Vec<MatchArm>

The match arms in order

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Statement

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Statement

fn eq(&self, other: &Statement) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Statement