Skip to main content

Module compiler

Module compiler 

Source
Expand description

Bytecode compiler - translates AST to bytecode

Modules§

string_interpolation
Compile-time string interpolation compilation.

Structs§

BytecodeCompiler
Compiler state
ClosureBodyPeek
cluster-2-cw-IB-class-b (2026-05-16, supervisor R3 binding-ratified): retained closure-literal peek used to re-run body return-type inference at the value-call site with caller-context arg type hints. Stored per-local-slot in BytecodeCompiler.local_callable_closure_bodies at let-binding time (update_callable_binding_from_expr / FunctionExpr arm). The body is the AST Vec<Statement> clone — no bytecode-lowering happens at lookup time; the inference walker only inspects AST shape.

Enums§

BorrowMode
Borrow mode for reference parameters - Shared (&) or Exclusive (&mut). Kept for codegen even though the lexical borrow checker has been removed.
CompileDiagnosticMode
ParamPassMode
Canonical compile-time parameter passing contract.
TypeDiagnosticMode

Functions§

infer_param_pass_modes
Infer effective parameter pass modes (ByValue / ByRefShared / ByRefExclusive) keyed by function name.
infer_reference_model
Infer effective reference parameters and mutation behavior without compiling bytecode.

Type Aliases§

BorrowPlace
A borrow place key used for encoding borrow targets in codegen.