Method compile_body

compiler/src/modules/parser/literals.rs:642–672

(&mut self, params: &[String])

    }

    pub(super) fn compile_body(&mut self, params: &[String]) -> SSAChunk {
        let mut body = self.with_fresh_chunk(|s| {
            for p in params {
                // Base name shadows the enclosing scope; prefix/`=` marker must be stripped.
                s.ssa_versions.insert(super::types::param_base_name(p).to_string(), 0);
                let _ = s.push_ssa_name(super::types::param_base_name(p), 0);
            }
            s.compile_block_body();
        });
        body.is_pure = !body.instructions.iter().any(|i| matches!(
            i.opcode,
            OpCode::CallPrint
            | OpCode::StoreItem
            | OpCode::DelItem
            | OpCode::DelAttr
            | OpCode::StoreAttr
            | OpCode::CallInput
            | OpCode::Global
            | OpCode::Nonlocal
            | OpCode::LoadAttr
            | OpCode::Raise
            | OpCode::RaiseFrom
            | OpCode::Yield
        )) && !Self::body_reads_free_name(&body, params);
        // Pre-compute is_generator to avoid O(n) scan per `exec_call`.
        body.is_generator = body.instructions.iter().any(|i| matches!(
            i.opcode,
            OpCode::Yield
        ));
        body
    }

    /* A body is memoizable-pure only if every name it loads is bound locally; free names (globals, builtins) introduce mutable state, making memoization stale. */
    fn body_reads_free_name(body: &SSAChunk, params: &[String]) -> bool {