From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 11 Apr 2025 04:03:29 +0000 (-0700)
Subject: restore tabu_list insertions to PStr-Lis comparisons (#2636)
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f21955c311188c3c36801178b3a028b4cd9ccce8;p=scryer-prolog.git

restore tabu_list insertions to PStr-Lis comparisons (#2636)
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 66d3237b..58535f03 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -564,6 +564,12 @@ impl MachineState {
                         (HeapCellValueTag::Lis, l1) => {
                             read_heap_cell!(v2,
                                 (HeapCellValueTag::PStrLoc, l2) => {
+                                    if tabu_list.contains(&(l1, l2)) {
+                                        continue;
+                                    }
+
+                                    tabu_list.insert((l1, l2));
+
                                     // like the action of
                                     // partial_string_to_pdl here but
                                     // the ordering of PDL pushes is