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 22:56:23 -07:00
parent 8e22dda747
commit 3d5489496e
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/prolog/copier.rs
View File

@@ -118,18 +118,14 @@ pub(crate) trait CopierTarget: IndexMut<usize, Output=HeapCellValue>
scan += 1; scan += 1;
}, },
Addr::AttrVar(h) if ra == rd => { Addr::AttrVar(h) if ra == rd => {
let threshold = self.threshold(); let threshold = self.threshold();
self.push(HeapCellValue::Addr(Addr::AttrVar(threshold))); self.push(HeapCellValue::Addr(Addr::AttrVar(threshold)));
let list_val = self[h+1].clone(); let list_val = self[h+1].clone();
self.push(list_val); self.push(list_val);
self.reinstantiate_var(ra, threshold, &mut trail);
self[scan] = HeapCellValue::Addr(Addr::AttrVar(threshold)); self[scan] = HeapCellValue::Addr(Addr::AttrVar(threshold));
self[h] = HeapCellValue::Addr(Addr::AttrVar(threshold));
trail.push((Ref::AttrVar(h),
HeapCellValue::Addr(Addr::AttrVar(h))));
}, },
_ if ra == rd => { _ if ra == rd => {
self.reinstantiate_var(ra, scan, &mut trail); self.reinstantiate_var(ra, scan, &mut trail);