From 8344575ae6333541e1a8ab681270b22793279893 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 8 Sep 2018 00:40:40 -0600 Subject: [PATCH] make partial_string callable. --- src/prolog/instructions.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 } } -- 2.54.0