Struct Compiler 

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

Implementations

impl<'i> Compiler<'i>

pub fn compile( stmts: &[Stmt<'_>], interner: &'i Interner, ) -> Result<CompiledProgram, String>

Compile a statement block to a runnable program.

pub fn compile_with_types( stmts: &[Stmt<'_>], interner: &'i Interner, types: Option<&TypeRegistry>, ) -> Result<CompiledProgram, String>

Compile with the discovery-pass type registry (struct definitions that never appear as Stmt::StructDef).

pub fn compile_with_oracle( stmts: &[Stmt<'_>], interner: &'i Interner, types: Option<&TypeRegistry>, oracle: Option<OracleFacts>, ) -> Result<CompiledProgram, String>

Like compile_with_types, plus the Oracle’s range-analysis facts (M9) for bounds-check elimination. The live run path computes these on the exact (optimized) snapshot it then compiles, so an Index proven in-bounds becomes IndexUnchecked. None ⇒ every index stays checked (the codegen / test paths).

pub fn compile_for_debug( stmts: &[Stmt<'_>], interner: &'i Interner, types: Option<&TypeRegistry>, ) -> Result<CompiledProgram, String>

Like compile_with_types but also captures source variable names into CompiledProgram::reg_names for the Studio debugger. Used only by the debugger’s compile path; production callers pay nothing for it.