Struct gluon_vm::compiler::Compiler

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

Methods

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> 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

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

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

Returns the kind of the type type_name