build CStr's to vars in write_literal_to_var
@@ -1973,6 +1973,10 @@ pub(super) fn write_literal_to_var(&mut self, deref_v: HeapCellValue, lit: HeapC
| 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;
}
