From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 21 Feb 2020 19:51:23 +0000 (-0700)
Subject: identify ground partial strings under (==) (#269)
X-Git-Tag: v0.8.119~79
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d3744d6f66c0b91dfd7852b56ddd5da4cf272e51;p=scryer-prolog.git

identify ground partial strings under (==) (#269)
---

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 82c0c4f2..998f3252 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -2201,6 +2201,9 @@ impl MachineState {
                     if ar1 != ar2 || n1 != n2 {
                         return true;
                     },
+                (HeapCellValue::Addr(Addr::PStrLocation(..)),
+                 HeapCellValue::Addr(Addr::PStrLocation(..))) =>
+                    continue,
                 (HeapCellValue::Addr(Addr::Lis(_)), HeapCellValue::Addr(Addr::Lis(_))) =>
                     continue,
                 (HeapCellValue::Addr(Addr::Con(Constant::EmptyList)),