unify stack variables to streams in unify_constant (#1845)

diff --git a/src/machine/unify.rs b/src/machine/unify.rs
index e386b4b07d5b33c526d9583aba77c3ef44bf455e..e73fa4a17892395da5b7f2f3c3740ba0f537b1a0 100644 (file)
--- a/src/machine/unify.rs
+++ b/src/machine/unify.rs
@@ -496,7 +496,7 @@ pub(crate) trait Unifier: DerefMut<Target = MachineState> {
              }
              (ArenaHeaderTag::Stream, stream) => {
                  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));
                      }
                      (HeapCellValueTag::Atom, (name, arity)) => {