Method alloc_set_result

compiler/src/modules/vm/ops.rs:153–158

Alloc a set-algebra result; frozen picks frozenset (left-operand type rule). */

(&mut self, items: Vec<Val>, frozen: bool)

    /* Alloc a set-algebra result; frozen picks frozenset (left-operand type rule). */
    pub(crate) fn alloc_set_result(&mut self, items: Vec<Val>, frozen: bool) -> Result<Val, VmErr> {
        let mut s = ValSet::with_capacity(items.len());
        for v in items { s.insert(v, &self.heap); }
        if frozen { self.heap.alloc(HeapObj::FrozenSet(Rc::new(s))) }
        else { self.heap.alloc(HeapObj::Set(Rc::new(RefCell::new(s)))) }
    }

    /* 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.