Struct spaik::compile::R8Compiler

pub struct R8Compiler<'a, 'b> { /* fields omitted */ }

Compile Value into R8C code.

Implementations

impl<'a, 'b> R8Compiler<'a, 'b>

pub fn new(vm: &'a mut R8VM<'b>) -> R8Compiler<'a, 'b>

pub fn compile_top(&mut self, ret: bool, code: &Value) -> Result<(), Error>

pub fn globals(&self) -> Option<impl Iterator<Item = (&SymID, &usize)>>

pub fn enter_fn(&mut self, args: Vec<SymID>, spec: ArgSpec) -> Result<(), Error>

pub fn compile_fn(
    &mut self,
    _name: SymID,
    args: &Value,
    body: &Value
) -> Result<ArgSpec, Error>

pub fn argument_clinic(mut code: &Value) -> Result<(bool, &Value), Error>

Reduces nested applications of not

Arguments

• code : The root of the AST tree to be reduced.

Examples

• (not <_>) ➙ (true, <_>)
• (not (not (not <_>))) ➙ (true, <_>)
• (not (not (not (not <_>)))) ➙ (false, <_>)

Where the boolean represents whether or not the expression has been negated.

Errors

Returns an ArgError if not is given fewer or more than 1 argument.

Algorithm

Video explanation.

pub fn link(self) -> Result<Linked, Error>

pub fn bt_eval_when(&mut self, code: &Value) -> Result<Value, Error>

pub fn compile_atom(&mut self, atom: &Value) -> Result<(), Error>

pub fn compile_app(
    &mut self,
    ret: bool,
    op: SymID,
    code: &Value
) -> Result<(), Error>