rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't compile is instruction if bound to anonymous variable (#1974)

Browse Source
This commit is contained in:
Mark
2023-08-29 15:26:08 -06:00
parent 78b35dc57d
commit 53a1be78cc
1 changed files with 20 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
src/codegen.rs
View File

@@ -804,15 +804,27 @@ impl<'b> CodeGenerator<'b> {
&Term::Var(ref vr, ref name) => { &Term::Var(ref vr, ref name) => {
let var_num = name.to_var_num().unwrap(); let var_num = name.to_var_num().unwrap();
self.marker.mark_var::<QueryInstruction>( if self.marker.var_data.records[var_num].num_occurrences > 1 {
var_num, self.marker.mark_var::<QueryInstruction>(
Level::Shallow, var_num,
vr, Level::Shallow,
term_loc, vr,
code, term_loc,
); code,
);
self.marker.mark_safe_var_unconditionally(var_num); self.marker.mark_safe_var_unconditionally(var_num);
} else {
if self.marker.in_tail_position {
if self.marker.var_data.allocates {
code.push_back(instr!("deallocate"));
}
code.push_back(instr!("proceed"));
}
return Ok(());
}
compile_expr!(self, &terms[1], term_loc, code) compile_expr!(self, &terms[1], term_loc, code)
} }