Struct ClosureConverter 

pub struct ClosureConverter { /* private fields */ }

The closure conversion pass.

Transforms an LCNF module by making all closures explicit: lambda expressions become struct allocations with captured variables.

Implementations

impl ClosureConverter

pub fn new(config: ClosureConvertConfig) -> Self

Create a new closure converter.

pub fn default_converter() -> Self

Create with default configuration.

pub fn convert_module(&mut self, module: &mut LcnfModule)

Convert all closures in a module.

pub fn convert_fun_decl( &mut self, decl: &LcnfFunDecl, ) -> (LcnfFunDecl, Vec<LcnfFunDecl>)

Convert a single function declaration.

Returns the converted declaration and any helper functions that were lifted out.

pub fn defunctionalize( &mut self, call_site_var: LcnfVarId, possible_callees: &[String], ) -> Option<LcnfExpr>

Attempt to defunctionalize a set of closures at a call site.

When the set of possible callees is statically known, replace the closure call with a switch on the closure’s tag.

pub fn stack_allocate_closure(&self, info: &ClosureInfo) -> bool

Determine whether a closure should be stack-allocated.

pub fn stats(&self) -> &ClosureConvertStats

Get the conversion statistics.

pub fn get_closure_info(&self, var: LcnfVarId) -> Option<&ClosureInfo>

Get closure info for a variable, if available.