Method set_binop_items

compiler/src/modules/vm/ops.rs:162–174

Set bitwise ops (|, &, ^) over set/frozenset; result frozen iff `a` is frozen. */ Union/intersection/symmetric-diff items; content membership lets alloc dedup distinct-handle equals.

(&self, a: Val, b: Val, op: OpCode)

    /* Set bitwise ops (|, &, ^) over set/frozenset; result frozen iff `a` is frozen. */
    // Union/intersection/symmetric-diff items; content membership lets alloc dedup distinct-handle equals.
    fn set_binop_items(&self, a: Val, b: Val, op: OpCode) -> Result<Vec<Val>, VmErr> {
        let (sa, sb) = match (self.clone_set_items(a), self.clone_set_items(b)) {
            (Some(x), Some(y)) => (x, y),
            _ => return Err(cold_runtime("set_binop on non-set operands")),
        };
        Ok(match op {
            OpCode::BitOr => sa.iter().chain(sb.iter()).copied().collect(),
            OpCode::BitAnd => sa.iter().filter(|&&v| sb.contains(v, &self.heap)).copied().collect(),
            OpCode::BitXor => sa.iter().filter(|&&v| !sb.contains(v, &self.heap))
                .chain(sb.iter().filter(|&&v| !sa.contains(v, &self.heap))).copied().collect(),
            _ => return Err(cold_runtime("set_binop with non-bitwise opcode")),
        })
    }

    pub(crate) fn set_binop_and_push(&mut self, a: Val, b: Val, op: OpCode) -> Result<(), VmErr> {
        let items = self.set_binop_items(a, b, op)?;