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

add support for copying attributed variables in copy_term

Browse Source
This commit is contained in:
Mark Thom
2019-02-04 21:24:26 -07:00
parent 2267b080ce
commit 50dd3afaa8
2 changed files with 27 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
src/prolog/copier.rs
View File

@@ -30,16 +30,26 @@ pub(crate) trait CopierTarget: IndexMut<usize, Output=HeapCellValue>
fn reinstantiate_var(&mut self, ra: Addr, scan: usize, trail: &mut Trail) fn reinstantiate_var(&mut self, ra: Addr, scan: usize, trail: &mut Trail)
{ {
match ra {
Addr::HeapCell(hc) => {
self[scan] = HeapCellValue::Addr(Addr::HeapCell(scan)); self[scan] = HeapCellValue::Addr(Addr::HeapCell(scan));
if let Addr::HeapCell(hc) = ra.clone() {
self[hc] = HeapCellValue::Addr(Addr::HeapCell(scan)); self[hc] = HeapCellValue::Addr(Addr::HeapCell(scan));
trail.push((Ref::HeapCell(hc), trail.push((Ref::HeapCell(hc),
HeapCellValue::Addr(Addr::HeapCell(hc)))); HeapCellValue::Addr(Addr::HeapCell(hc))));
} else if let Addr::StackCell(fr, sc) = ra { },
Addr::StackCell(fr, sc) => {
self[scan] = HeapCellValue::Addr(Addr::HeapCell(scan));
self.stack()[fr][sc] = Addr::HeapCell(scan); self.stack()[fr][sc] = Addr::HeapCell(scan);
trail.push((Ref::StackCell(fr, sc), trail.push((Ref::StackCell(fr, sc),
HeapCellValue::Addr(Addr::StackCell(fr, sc)))); HeapCellValue::Addr(Addr::StackCell(fr, sc))));
},
Addr::AttrVar(hc) => {
self[scan] = HeapCellValue::Addr(Addr::AttrVar(scan));
self[hc] = HeapCellValue::Addr(Addr::AttrVar(scan));
trail.push((Ref::AttrVar(hc),
HeapCellValue::Addr(Addr::AttrVar(hc))));
},
_ => {}
} }
} }
@@ -111,6 +121,12 @@ pub(crate) trait CopierTarget: IndexMut<usize, Output=HeapCellValue>
}, },
_ if ra == rd => { _ if ra == rd => {
self.reinstantiate_var(ra, scan, &mut trail); self.reinstantiate_var(ra, scan, &mut trail);
if let Addr::AttrVar(h) = rd {
let value = self[h + 1].clone();
self.push(value);
}
scan += 1; scan += 1;
}, },
_ => self[scan] = HeapCellValue::Addr(rd) _ => self[scan] = HeapCellValue::Addr(rd)