Skip to main content

recognize_dynamic_producer

logicaffeine_compile::codegen_tt::concurrency_mesh

Function recognize_dynamic_producer 

Source 
pub fn recognize_dynamic_producer(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> Option<DynamicSpec>
Expand description

Recognize a loop-driven producer: main launches a task whose body is a single Repeat for i from lo to hi: Send <expr> into ch. Extracts the bounds + the C send expression.