Enum Val 

pub enum Val {
    Unit,
    Int(i64),
    Float(f64),
    Str(Arc<str>),
    Bool(bool),
    Keyword(Arc<str>),
    List(Arc<Vec<Val>>),
    Record(Arc<Vec<(Arc<str>, Val)>>),
    Syntax(Node),
    Fun(Arc<Lambda>),
    Type(Arc<TyRepr>),
}

A compile-time value.

Val::Syntax is the one that makes this a macro interpreter rather than a calculator: a quote: block evaluates to one, $e inside a template puts one back, and every other variant has a reflection into syntax so that $n where n is 3 is the literal 3.

Variants

Unit

Int(i64)

Float(f64)

Str(Arc<str>)

Bool(bool)

Keyword(Arc<str>)

List(Arc<Vec<Val>>)

Record(Arc<Vec<(Arc<str>, Val)>>)

Syntax(Node)

Fun(Arc<Lambda>)

Type(Arc<TyRepr>)

What node_ty(e) answers with: the type the checker gave an expression (crate::typed). Only a typed macro’s body can hold one, because only there has anything been inferred.

Implementations

impl Val

pub fn type_name(&self) -> &'static str

Trait Implementations

impl Clone for Val

fn clone(&self) -> Val

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Val

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

Formats the value using the given formatter.