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

generate heap_loc cells to refer to 0-arity atoms in read.rs

Browse Source
This commit is contained in:
Mark Thom
2021-12-11 21:51:45 -07:00
parent 4211151fe6
commit 39efc12dc8
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/read.rs
View File

@@ -292,6 +292,7 @@ impl<'a, 'b> TermWriter<'a, 'b> {
},
&TermRef::PartialString(..) => pstr_loc_as_cell!(h),
&TermRef::Literal(_, _, literal) => HeapCellValue::from(*literal),
&TermRef::Clause(_,_,_,subterms) if subterms.len() == 0 => heap_loc_as_cell!(h),
&TermRef::Clause(..) => str_loc_as_cell!(h),
}
}
@@ -319,7 +320,11 @@ impl<'a, 'b> TermWriter<'a, 'b> {
self.push_stub_addr();
}
&TermRef::Clause(Level::Root, _, ref ct, subterms) => {
self.heap.push(str_loc_as_cell!(heap_loc + 1));
self.heap.push(if subterms.len() == 0 {
heap_loc_as_cell!(heap_loc + 1)
} else {
str_loc_as_cell!(heap_loc + 1)
});
self.queue.push_back((subterms.len(), h + 2));
let named = atom_as_cell!(ct.name(), subterms.len());