From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 16 Feb 2022 05:22:36 +0000 (-0700)
Subject: build CStr's to vars in write_literal_to_var (#1284)
X-Git-Tag: v0.9.0^2~22
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5b829636cb270b0de5214ecb13813a55ffb91cd1;p=scryer-prolog.git

build CStr's to vars in write_literal_to_var (#1284)
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 50b5144c..931f0f11 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -1973,6 +1973,10 @@ impl MachineState {
                     | HeapCellValueTag::Str => {
                         self.match_partial_string(store_v, cstr_atom, false);
                     }
+                    HeapCellValueTag::AttrVar | HeapCellValueTag::Var => {
+                        let r = store_v.as_var().unwrap();
+                        self.bind(r, lit);
+                    }
                     _ => {
                         self.fail = true;
                     }