Struct gluon_vm::compiler::Compiler

pub struct Compiler<'a> { /* private fields */ }

Implementations

impl<'a> Compiler<'a>

pub fn new( globals: &'a (dyn CompilerEnv<Type = ArcType> + 'a), vm: &'a GlobalVmState, symbols: SymbolModule<'a>, source: &'a FileMap, source_name: String, emit_debug_info: bool ) -> Compiler<'a>

pub fn compile_expr(&mut self, expr: CExpr<'_>) -> Result<CompiledModule>

Compiles an expression to a zero argument function which can be directly fed to the interpreter

Trait Implementations

impl<'a> KindEnv for Compiler<'a>

fn find_kind(&self, _type_name: &SymbolRef) -> Option<ArcKind>

Returns the kind of the type type_name

impl<'a> TypeEnv for Compiler<'a>

type Type = ArcType

fn find_type(&self, _id: &SymbolRef) -> Option<ArcType>

Returns the type of the value bound at id

fn find_type_info(&self, id: &SymbolRef) -> Option<Alias<Symbol, ArcType>>

Returns information about the type id