Method set_compare_and_push

compiler/src/modules/vm/ops.rs:196–216

Set comparisons with subset/superset semantics over set/frozenset. */

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

    /* Set comparisons with subset/superset semantics over set/frozenset. */
    pub(crate) fn set_compare_and_push(&mut self, a: Val, b: Val, op: OpCode) -> Result<(), 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_compare on non-set operands")),
        };
        // Content-based so distinct-handle equal elements (tuples, long strings) compare correctly.
        let eq = eq_set(&sa, &sb, |a, b| eq_vals_with_heap(a, b, &self.heap));
        let subset = |x: &ValSet, y: &ValSet|
            x.iter().all(|&v| y.iter().any(|&w| eq_vals_with_heap(v, w, &self.heap)));
        let result = match op {
            OpCode::Eq => eq,
            OpCode::NotEq => !eq,
            OpCode::Lt => subset(&sa, &sb) && !eq,
            OpCode::LtEq => subset(&sa, &sb),
            OpCode::Gt => subset(&sb, &sa) && !eq,
            OpCode::GtEq => subset(&sb, &sa),
            _ => return Err(cold_runtime("set_compare with non-compare opcode")),
        };
        self.push(Val::bool(result));
        Ok(())
    }

    pub fn type_name(&self, v: Val) -> &'static str {
        if v.is_bool() { "bool" }