Struct Compiler 

pub struct Compiler {
    pub symbols: SymbolTable,
    pub frames: Vec<usize>,
    pub tys: Vec<Type>,
    pub consts: Vec<Dynamic>,
    /* private fields */
}

Fields

symbols: SymbolTable

frames: Vec<usize>

tys: Vec<Type>

consts: Vec<Dynamic>

Implementations

impl Compiler

pub fn infer_expr(&mut self, expr: &Expr) -> Result<Type>

pub fn infer_fn(&mut self, id: u32, arg_tys: &[Type]) -> Result<Type>

pub fn infer_fn_with_params( &mut self, id: u32, arg_tys: &[Type], generic_args: &[Type], ) -> Result<Type>

pub fn infer_stmt(&mut self, stmt: &Stmt) -> Result<Type>

impl Compiler

pub fn clear(&mut self)

pub fn take_local_state(&mut self) -> (Vec<usize>, Vec<SmolStr>, Vec<Type>)

pub fn restore_local_state( &mut self, state: (Vec<usize>, Vec<SmolStr>, Vec<Type>), )

pub fn get_value(&self, expr: &Expr) -> Option<Dynamic>

pub fn get_const(&mut self, value: Dynamic) -> usize

pub fn top(&self) -> usize

pub fn add_symbol(&mut self, name: &str, s: Symbol) -> u32

pub fn new() -> Self

pub fn parse_code(code: Vec<u8>) -> Result<Vec<Stmt>>

pub fn import_code(&mut self, name: &str, code: Vec<u8>) -> Result<Vec<u32>>

pub fn import_code_from_path( &mut self, name: &str, code: Vec<u8>, path: impl AsRef<Path>, ) -> Result<Vec<u32>>

pub fn import_file( &mut self, name: &str, path: impl AsRef<Path>, ) -> Result<Vec<u32>>

pub fn check_code(name: &str, code: Vec<u8>) -> Vec<CompilerDiagnostic>

pub fn get_field(&self, ty: &Type, name: &str) -> Result<(usize, Type)>

pub fn get_ident(&mut self, ident: &str, span: Span) -> Result<Expr>

pub fn compile_fn( &mut self, args: &[SmolStr], tys: &mut Vec<Type>, body: Stmt, cap: &mut Capture, ) -> Result<Vec<Stmt>>

pub fn compile( &mut self, mod_name: SmolStr, stmts: Vec<Stmt>, ) -> Result<Vec<u32>>

Trait Implementations

impl Clone for Compiler

fn clone(&self) -> Compiler

Returns a duplicate of the value.

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

Performs copy-assignment from source.