From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 13 Aug 2025 05:23:52 +0000 (-0700)
Subject: deref terms in read_from_term (#2668)
X-Git-Tag: v0.10.0~27
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=216c251c48820befe04a7fdad956ba3da07d41d0;p=scryer-prolog.git

deref terms in read_from_term (#2668)
---

diff --git a/src/machine/loader.rs b/src/machine/loader.rs
index 08282f68..2b49b50c 100644
--- 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) => {