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

unify stack variables to streams in unify_constant (#1845)

Browse Source
This commit is contained in:
Mark
2023-06-27 17:35:10 -06:00
parent 039fffb339
commit c4b13a2176
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/machine/unify.rs
View File

@@ -496,7 +496,7 @@ pub(crate) trait Unifier: DerefMut<Target = MachineState> {
} }
(ArenaHeaderTag::Stream, stream) => { (ArenaHeaderTag::Stream, stream) => {
read_heap_cell!(value, read_heap_cell!(value,
(HeapCellValueTag::AttrVar | HeapCellValueTag::Var) => { (HeapCellValueTag::AttrVar | HeapCellValueTag::Var | HeapCellValueTag::StackVar) => {
Self::bind(self, value.as_var().unwrap(), untyped_arena_ptr_as_cell!(ptr)); Self::bind(self, value.as_var().unwrap(), untyped_arena_ptr_as_cell!(ptr));
} }
(HeapCellValueTag::Atom, (name, arity)) => { (HeapCellValueTag::Atom, (name, arity)) => {