From 372b4bca46ca034fa4c889e06f28dcdeffad2d67 Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 2 Jan 2024 10:06:07 -0700 Subject: [PATCH] mark anonymous variables in compile_is_call (#2257) --- src/codegen.rs | 6 ++++++ 1 file changed, 6 insertions(+) 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::( + Level::Shallow, + term_loc, + code, + ); + if let Term::Var(ref vr, ref var) = &terms[1] { let var_num = var.to_var_num().unwrap(); -- 2.54.0