From: Mark <markjordanthom@gmail.com>
Date: Tue, 27 Jun 2023 23:35:10 +0000 (-0600)
Subject: unify stack variables to streams in unify_constant (#1845)
X-Git-Tag: v0.9.2~108
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c4b13a217608e1a612a8c4972ed69de7b7bd3b62;p=scryer-prolog.git

unify stack variables to streams in unify_constant (#1845)
---

diff --git a/src/machine/unify.rs b/src/machine/unify.rs
index e386b4b0..e73fa4a1 100644
--- 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)) => {