From: Mark <markjordanthom@gmail.com>
Date: Tue, 2 Jan 2024 17:06:07 +0000 (-0700)
Subject: mark anonymous variables in compile_is_call (#2257)
X-Git-Tag: v0.9.4~49
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=372b4bca46ca034fa4c889e06f28dcdeffad2d67;p=scryer-prolog.git

mark anonymous variables in compile_is_call (#2257)
---

diff --git a/src/codegen.rs b/src/codegen.rs
index fd0d21f9..11ad867f 100644
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -860,6 +860,12 @@ impl<'b> CodeGenerator<'b> {
                     self.marker.mark_safe_var_unconditionally(var_num);
                     compile_expr!(self, &terms[1], term_loc, code)
                 } else {
+                    self.marker.mark_anon_var::<QueryInstruction>(
+                        Level::Shallow,
+                        term_loc,
+                        code,
+                    );
+
                     if let Term::Var(ref vr, ref var) = &terms[1] {
                         let var_num = var.to_var_num().unwrap();