From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 12 Jan 2022 01:42:01 +0000 (-0700)
Subject: evaluate floats referenced from the heap by tagged pointers (#1203)
X-Git-Tag: v0.9.0^2~76
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c5cda99f9db904869177ec35efa8b1e749a128a4;p=scryer-prolog.git

evaluate floats referenced from the heap by tagged pointers (#1203)
---

diff --git a/src/machine/arithmetic_ops.rs b/src/machine/arithmetic_ops.rs
index 5cc64098..2541f0a1 100644
--- a/src/machine/arithmetic_ops.rs
+++ b/src/machine/arithmetic_ops.rs
@@ -1334,6 +1334,9 @@ impl MachineState {
                          (ArenaHeaderTag::Rational, r) => {
                              self.interms.push(Number::Rational(r));
                          }
+                         (ArenaHeaderTag::F64, fl) => {
+                             self.interms.push(Number::Float(*fl));
+                         }
                          _ => {
                              std::mem::drop(iter);