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

terms containing attributed variables are not ground (#239)

Browse Source
This commit is contained in:
Mark Thom
2019-11-27 14:13:18 -04:00
parent 1dec482e22
commit 9ae901bd0d
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prolog/machine/machine_state_impl.rs
View File

@@ -3109,6 +3109,7 @@ impl MachineState {
match v { match v {
HeapCellValue::Addr(Addr::HeapCell(..)) => return true, HeapCellValue::Addr(Addr::HeapCell(..)) => return true,
HeapCellValue::Addr(Addr::StackCell(..)) => return true, HeapCellValue::Addr(Addr::StackCell(..)) => return true,
HeapCellValue::Addr(Addr::AttrVar(..)) => return true,
_ => {} _ => {}
} }
} }