From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 16 Aug 2025 22:26:10 +0000 (-0700)
Subject: clear pdl after comparing partial strings (#3048)
X-Git-Tag: v0.10.0~24
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=93cc4d48980d0a6c39575a04557bee086a865e31;p=scryer-prolog.git

clear pdl after comparing partial strings (#3048)
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 3de055e5..2ef605bf 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -564,9 +564,11 @@ impl MachineState {
                                             self.pdl.push(v2.offset_by(l2));
                                         }
                                         PStrSegmentCmpResult::Less => {
+                                            self.pdl.clear();
                                             return Some(Ordering::Less);
                                         }
                                         PStrSegmentCmpResult::Greater => {
+                                            self.pdl.clear();
                                             return Some(Ordering::Greater);
                                         }
                                     }