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

reference partial strings properly in read_term (#1271)

Browse Source
This commit is contained in:
Mark Thom
2022-02-06 15:14:18 -07:00
parent 2f0718e885
commit f3f3dccf8e
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/machine/machine_state.rs
View File

@@ -495,9 +495,18 @@ impl MachineState {
loop { loop {
match self.read(stream, &indices.op_dir) { match self.read(stream, &indices.op_dir) {
Ok(term_write_result) => { Ok(term_write_result) => {
let heap_loc = read_heap_cell!(self.heap[term_write_result.heap_loc],
(HeapCellValueTag::PStr | HeapCellValueTag::PStrOffset) => {
pstr_loc_as_cell!(term_write_result.heap_loc)
}
_ => {
heap_loc_as_cell!(term_write_result.heap_loc)
}
);
let term = self.registers[2]; let term = self.registers[2];
unify_fn!(*self, heap_loc_as_cell!(term_write_result.heap_loc), term); unify_fn!(*self, heap_loc, term);
let term = heap_loc_as_cell!(term_write_result.heap_loc); let term = heap_loc;
if self.fail { if self.fail {
return Ok(()); return Ok(());