Struct TypedBlock 

pub struct TypedBlock {
    pub stmts: Vec<TypedStmt>,
    pub value: Option<Box<TypedExpr>>,
    pub ty: QalaType,
    pub span: Span,
}

a typed { ... } block. mirror of ast::Block, plus the resolved type of the block’s value: ty is the type of the trailing value expression, or QalaType::Void if there is no trailing value (the block ended in a ; or was empty).

Fields

stmts: Vec<TypedStmt>

the typed statements, in order.

value: Option<Box<TypedExpr>>

the trailing expression (no terminating ;) that is the block’s value, or None for a void block.

ty: QalaType

the type of the trailing value expression, or QalaType::Void for an empty / semicolon-ended block. the typechecker fills this; codegen reads it to decide whether the block leaves a value on the stack.

span: Span

{ to }.

Trait Implementations

impl Clone for TypedBlock

fn clone(&self) -> TypedBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedBlock

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

Formats the value using the given formatter.

impl PartialEq for TypedBlock

fn eq(&self, other: &TypedBlock) -> 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 TypedBlock