From: Mark <markjordanthom@gmail.com>
Date: Fri, 14 Jul 2023 18:44:25 +0000 (-0600)
Subject: add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872)
X-Git-Tag: v0.9.2~55
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b6a81c51ab3757d831808d0a2c285ffd774767b0;p=scryer-prolog.git

add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872)
---

diff --git a/build/instructions_template.rs b/build/instructions_template.rs
index 3b2bd971..5eaa542b 100644
--- a/build/instructions_template.rs
+++ b/build/instructions_template.rs
@@ -2261,6 +2261,10 @@ pub fn generate_instructions_rs() -> TokenStream {
     let mut is_inbuilt_arms = vec![];
     let mut is_inlined_arms = vec![];
 
+    is_inbuilt_arms.push(quote! {
+        (atom!(":-"), 1 | 2) => true
+    });
+
     for (name, arity, variant) in instr_data.compare_number_variants {
         let ident = variant.ident.clone();