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

This commit is contained in:
Mark
2023-07-14 12:44:25 -06:00
parent ba2cd43144
commit b6a81c51ab

View File

@@ -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();