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

set_local_value does not make values safe (#1812)

Browse Source
This commit is contained in:
Mark
2023-06-06 00:58:44 -06:00
parent 6093c2858d
commit 3c344b176b
2 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/fixtures.rs
View File

@@ -357,9 +357,6 @@ impl UnsafeVarMarker {
*query_instr = Instruction::SetValue(RegType::Temp(*t)); *query_instr = Instruction::SetValue(RegType::Temp(*t));
} else { } else {
*query_instr = Instruction::SetLocalValue(r); *query_instr = Instruction::SetLocalValue(r);
self.safe_perm_vars.insert(p);
self.unsafe_perm_vars.remove(&p);
} }
_ => {} _ => {}
} }

1
src/heap_print.rs
View File

@@ -848,7 +848,6 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
self.iter.heap, self.iter.heap,
heap_bound_deref(self.iter.heap, cell), heap_bound_deref(self.iter.heap, cell),
); );
let cell = unmark_cell_bits!(cell); let cell = unmark_cell_bits!(cell);
match self.var_names.get(&cell).cloned() { match self.var_names.get(&cell).cloned() {