From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 15 Dec 2018 07:04:56 +0000 (-0700)
Subject: correct non-termination of expand_goal and expand_term
X-Git-Tag: v0.8.110~312
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2b774f3041c9313ca344c693e2ea7d146d4c365e;p=scryer-prolog.git

correct non-termination of expand_goal and expand_term
---

diff --git a/src/prolog/instructions.rs b/src/prolog/instructions.rs
index c025d2c9..0c3444d0 100644
--- a/src/prolog/instructions.rs
+++ b/src/prolog/instructions.rs
@@ -914,7 +914,7 @@ impl PartialOrd<CodePtr> for CodePtr {
 impl PartialOrd<LocalCodePtr> for LocalCodePtr {
     fn partial_cmp(&self, other: &LocalCodePtr) -> Option<Ordering> {
         match (self, other) {
-            (&LocalCodePtr::InSituDirEntry(p1), &LocalCodePtr::DirEntry(ref p2))
+            (&LocalCodePtr::InSituDirEntry(p1), &LocalCodePtr::InSituDirEntry(ref p2))
           | (&LocalCodePtr::DirEntry(p1), &LocalCodePtr::DirEntry(ref p2))
           | (&LocalCodePtr::UserTermExpansion(p1), &LocalCodePtr::UserTermExpansion(ref p2))
           | (&LocalCodePtr::UserGoalExpansion(p1), &LocalCodePtr::UserGoalExpansion(ref p2))