From: Mark Date: Sat, 24 Jun 2023 20:12:04 +0000 (-0600) Subject: fix string incompleteness (#1828) X-Git-Tag: v0.9.2~117 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d9829a3606a422b04d8c76d1a148ec97fad6778a;p=scryer-prolog.git fix string incompleteness (#1828) --- diff --git a/src/machine/partial_string.rs b/src/machine/partial_string.rs index fce47204..812941fc 100644 --- a/src/machine/partial_string.rs +++ b/src/machine/partial_string.rs @@ -181,7 +181,7 @@ impl<'a> HeapPStrIter<'a> { self.brent_st.hare = result.focus; } else { read_heap_cell!(self.heap[result.focus], - (HeapCellValueTag::Lis | HeapCellValueTag::Str) => { + (HeapCellValueTag::Lis | HeapCellValueTag::Str | HeapCellValueTag::PStr) => { self.focus = self.heap[self.brent_st.hare]; } _ => {