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

2020-02-21 12:51:23 -07:00
parent 2613ef0633
commit d3744d6f66
1 changed files with 3 additions and 0 deletions
--- 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)),