From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 11 Apr 2022 23:01:47 +0000 (-0600)
Subject: dereference head of list in is_continuable (#1417)
X-Git-Tag: v0.9.1~59
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=525050c407a66c2d97d990a41a60513c27684654;p=scryer-prolog.git

dereference head of list in is_continuable (#1417)
---

diff --git a/src/machine/partial_string.rs b/src/machine/partial_string.rs
index b4b3714a..7938b202 100644
--- a/src/machine/partial_string.rs
+++ b/src/machine/partial_string.rs
@@ -226,7 +226,13 @@ impl<'a> HeapPStrIter<'a> {
                    return name == atom!(".") && arity == 2;
                }
                (HeapCellValueTag::Lis, h) => {
-                   return read_heap_cell!(self.heap[h],
+                   let value = self.heap[h];
+                   let value = heap_bound_store(
+                       self.heap,
+                       heap_bound_deref(self.heap, value),
+                   );
+
+                   return read_heap_cell!(value,
                        (HeapCellValueTag::Atom, (name, arity)) => {
                            arity == 0 && name.as_char().is_some()
                        }