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

record names of variables at root in write_term_to_heap (#487)

Browse Source
This commit is contained in:
Mark Thom
2020-05-10 21:48:38 -06:00
parent d1d36f9af0
commit 4c0da691b8
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/prolog/read.rs
View File

@@ -267,11 +267,15 @@ impl<'a> TermWriter<'a> {
continue; continue;
} }
} }
&TermRef::AnonVar(Level::Root) | &TermRef::Constant(Level::Root, ..) | &TermRef::AnonVar(Level::Root) | &TermRef::Constant(Level::Root, ..) => {
&TermRef::Var(Level::Root, ..) => {
let addr = self.term_as_addr(&term, h); let addr = self.term_as_addr(&term, h);
self.machine_st.heap.push(HeapCellValue::Addr(addr)); self.machine_st.heap.push(HeapCellValue::Addr(addr));
} }
&TermRef::Var(Level::Root, _, ref var) => {
let addr = self.term_as_addr(&term, h);
self.var_dict.insert(var.clone(), Addr::HeapCell(h));
self.machine_st.heap.push(HeapCellValue::Addr(addr));
}
&TermRef::AnonVar(_) => { &TermRef::AnonVar(_) => {
if let Some((arity, site_h)) = self.queue.pop_front() { if let Some((arity, site_h)) = self.queue.pop_front() {
if arity > 1 { if arity > 1 {