From: Mark <markjordanthom@gmail.com>
Date: Thu, 13 Jul 2023 19:58:51 +0000 (-0600)
Subject: arith_eval_by_metacall may receive a stack variable
X-Git-Tag: v0.9.2~59
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a9cb826bf339f4f5c3362c6fa3ad3af13f16c260;p=scryer-prolog.git

arith_eval_by_metacall may receive a stack variable
---

diff --git a/src/machine/arithmetic_ops.rs b/src/machine/arithmetic_ops.rs
index f5aa982f..8eae327d 100644
--- a/src/machine/arithmetic_ops.rs
+++ b/src/machine/arithmetic_ops.rs
@@ -1123,7 +1123,7 @@ impl MachineState {
                       HeapCellValueTag::PStrLoc) => {
                          (atom!("."), 2)
                      }
-                     (HeapCellValueTag::AttrVar | HeapCellValueTag::Var) => {
+                     (HeapCellValueTag::AttrVar | HeapCellValueTag::Var | HeapCellValueTag::StackVar) => {
                          let err = self.instantiation_error();
                          return Err(self.error_form(err, stub_gen()));
                      }