Struct Compiler 

pub struct Compiler { /* private fields */ }

Accumulates statements from one or more sources, then interns + emits the IR.

Implementations

impl Compiler

pub fn new() -> Self

A fresh, empty compiler.

pub fn add_source( &mut self, source: &str, src: &str, ) -> Result<(), CompileError>

Parse one source and accumulate its statements. source is a label used in provenance (e.g. a file name or "<root>"). The source must declare its DOMAIN; IMPORTs are recorded as pending (their domains cannot be bound without a Resolver), so a single source may only reference its own domain. Use compile for cross-domain references.

pub fn finalize(self) -> Compiled

Intern all atoms (canonical sort), then lower the raw IR to ids.

Trait Implementations

impl Default for Compiler

fn default() -> Compiler

Returns the “default value” for a type.