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

unify partial string tail later in create_partial_string (#1462, #1465, #1427)

Browse Source
This commit is contained in:
Mark Thom
2022-05-08 14:52:22 -06:00
parent 4895cb7b22
commit 2dfa108034
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/machine/machine_state_impl.rs
View File

@@ -532,8 +532,8 @@ impl MachineState {
chars_iter.iter.next();
self.pdl.push(chars_iter.iter.focus);
self.pdl.push(focus);
self.pdl.push(chars_iter.iter.focus);
break;
}

3
src/machine/system_calls.rs
View File

@@ -1460,7 +1460,8 @@ impl Machine {
unify!(self.machine_st, self.machine_st.registers[2], pstr_loc_as_cell!(pstr_h));
if !self.machine_st.fail {
self.machine_st.bind(Ref::heap_cell(pstr_h+1), self.machine_st.registers[3]);
let tail = self.machine_st.registers[3];
unify!(self.machine_st, tail, heap_loc_as_cell!(pstr_h+1));
}
}