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

correctly handle anonymous variables when reading

Browse Source
This commit is contained in:
Mark Thom
2018-10-15 22:13:58 -06:00
parent 720426648e
commit 3140c65f67
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/prolog/read.rs
View File

@@ -131,8 +131,6 @@ pub(crate) fn write_term_to_heap(term: &Term, machine_st: &mut MachineState) ->
continue; continue;
}, },
&TermRef::Var(_, _, ref var) => { &TermRef::Var(_, _, ref var) => {
let v = var.as_str();
if let Some((arity, site_h)) = queue.pop_front() { if let Some((arity, site_h)) = queue.pop_front() {
if let Some(addr) = var_dict.get(var).cloned() { if let Some(addr) = var_dict.get(var).cloned() {
machine_st.heap[site_h] = HeapCellValue::Addr(addr); machine_st.heap[site_h] = HeapCellValue::Addr(addr);