Crate lex_bytecode 

M4: bytecode definition, compiler, VM (pure subset). See spec §8.

Re-exports

pub use compiler::compile_program;

pub use op::Const;

pub use op::Op;

pub use program::Function;

pub use program::Program;

pub use value::MapKey;

pub use value::Value;

pub use vm::Vm;

pub use vm::VmError;

pub use vm::MAX_CALL_DEPTH;

pub use verify::verify_program;

pub use verify::StackError;

Modules

compiler

M4 compiler: canonical AST → bytecode.

conc_registry

Process-global named-actor registry (#444).

op

Bytecode instruction set per spec §8.2.

parser_runtime

Parser combinator interpreter (#221).

program

Compiled program: a set of functions plus a constant pool.

value

Runtime values.

verify

Bytecode stack-depth verifier — the third --strict check from #347 A2.

vm

M5: bytecode VM. Stack machine with effect dispatch through a host handler.