From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 8 Sep 2018 06:40:40 +0000 (-0600)
Subject: make partial_string callable.
X-Git-Tag: v0.8.110~390
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8344575ae6333541e1a8ab681270b22793279893;p=scryer-prolog.git

make partial_string callable.
---

diff --git a/src/prolog/instructions.rs b/src/prolog/instructions.rs
index c3e714c9..2134a802 100644
--- a/src/prolog/instructions.rs
+++ b/src/prolog/instructions.rs
@@ -28,12 +28,12 @@ impl InlinedClauseType {
             &InlinedClauseType::IsAtom(..) => "atom",
             &InlinedClauseType::IsAtomic(..) => "atomic",
             &InlinedClauseType::IsCompound(..) => "compound",
-            &InlinedClauseType::IsInteger (..) => "integer",
+            &InlinedClauseType::IsInteger (..) => "integer",            
             &InlinedClauseType::IsRational(..) => "rational",
             &InlinedClauseType::IsString(..) => "string",
             &InlinedClauseType::IsFloat (..) => "float",
             &InlinedClauseType::IsNonVar(..) => "nonvar",
-            &InlinedClauseType::IsPartialString(..) => "partial_string",
+            &InlinedClauseType::IsPartialString(..) => "is_partial_string",
             &InlinedClauseType::IsVar(..) => "var",
         }
     }
@@ -418,6 +418,7 @@ impl BuiltInClauseType {
             ("\\==", 2) => Some(BuiltInClauseType::NotEq),
             ("sort", 2) => Some(BuiltInClauseType::Sort),
             ("read", 1) => Some(BuiltInClauseType::Read),
+            ("partial_string", 2) => Some(BuiltInClauseType::PartialString),
             _ => None
         }
     }