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

build partial strings using PStrLoc in write_term_to_heap (#1627)

Browse Source
This commit is contained in:
Mark Thom
2022-10-23 16:30:41 -06:00
parent 23f59970cb
commit fd97b84916
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/read.rs
View File

@@ -390,6 +390,12 @@ impl<'a, 'b> TermWriter<'a, 'b> {
put_complete_string(self.heap, src.as_str(), self.atom_tbl); put_complete_string(self.heap, src.as_str(), self.atom_tbl);
} }
&TermRef::PartialString(lvl, _, ref src, _) => { &TermRef::PartialString(lvl, _, ref src, _) => {
if let Level::Root = lvl {
// Var tags can't refer directly to partial strings,
// so a PStrLoc cell must be pushed.
self.heap.push(pstr_loc_as_cell!(heap_loc + 1));
}
allocate_pstr(self.heap, src.as_str(), self.atom_tbl); allocate_pstr(self.heap, src.as_str(), self.atom_tbl);
let h = self.heap.len(); let h = self.heap.len();