deref terms in read_from_term (#2668)

2025-08-12 22:23:52 -07:00
parent 8af0a19130
commit 216c251c48
1 changed files with 4 additions and 1 deletions
--- a/src/machine/loader.rs
+++ b/src/machine/loader.rs
@@ -1384,7 +1384,10 @@ impl MachineState {
            stackful_post_order_iter::<NonListElider>(&mut self.heap, &mut self.stack, 0);

        while let Some(addr) = iter.next() {
-            let addr = unmark_cell_bits!(addr);
+            let addr = unmark_cell_bits!(heap_bound_store(
+                iter.base_iter.heap,
+                heap_bound_deref(iter.base_iter.heap, addr),
+            ));

            read_heap_cell!(addr,
                (HeapCellValueTag::Lis) => {