Struct Interpreter 

pub struct Interpreter<'a> {
    pub output: Vec<String>,
    /* private fields */
}

Fields

output: Vec<String>

The program’s output lines. Public API consumed by ui_bridge.

Implementations

impl<'a> Interpreter<'a>

pub fn new(interner: &'a Interner) -> Self

pub fn with_program_args(self, args: Vec<String>) -> Self

Supply the program arguments read by the args() system native. The vector is the full argv (index 0 is the program name), matching the compiled binary’s env::args().

pub fn with_vfs(self, vfs: Arc<dyn Vfs>) -> Self

Phase 55: Set the VFS for file operations.

pub fn with_kernel(self, ctx: Arc<Context>) -> Self

Phase 102: Set the kernel context for inductive type support.

When set, the interpreter can query the kernel for inductive types and constructors, enabling unified type system.

pub fn with_policies(self, registry: PolicyRegistry) -> Self

Set the policy registry for security checks.

pub fn with_type_registry(self, registry: &TypeRegistry) -> Self

Populate struct_defs from a TypeRegistry (DiscoveryPass results). This allows the interpreter to initialize default field values for structs created with new Point (no explicit fields).

pub fn with_output_callback(self, callback: OutputCallback) -> Self

Set a callback for streaming output. The callback is called each time Show executes, with the output line.

pub fn is_kernel_inductive(&self, name: &str) -> bool

Phase 102: Check if a name is a kernel inductive type.

pub fn get_kernel_constructors(&self, name: &str) -> Vec<(String, usize)>

Phase 102: Get constructors for a kernel inductive type.

Returns a vector of (constructor_name, arity) pairs.

pub async fn run(&mut self, stmts: &[Stmt<'a>]) -> Result<(), String>

Execute a program (list of statements). Phase 55: Now async for VFS operations.

pub fn values_equal_pub( &self, left: &RuntimeValue, right: &RuntimeValue, ) -> bool

pub fn global_bindings(&self) -> Vec<(String, String, String)>

The program’s global bindings after execution, as sorted (name, type, value) rows — the substrate for the REPL’s :vars inspection (see crate::repl::ReplSession::vars).

pub fn run_sync(&mut self, stmts: &[Stmt<'a>]) -> Result<(), String>

Execute a program synchronously (no async/Future allocation). Use when needs_async(stmts) returns false.