From: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
Date: Sun, 17 Dec 2023 11:38:46 +0000 (+0100)
Subject: Throw ValidType::Atom error in functor
X-Git-Tag: v0.9.4~71^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d132227860b40cea235f4eea89f4072767d8c85e;p=scryer-prolog.git

Throw ValidType::Atom error in functor
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index edd6b673..459db1d7 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -1450,10 +1450,15 @@ impl MachineState {
                             a1.as_var().unwrap(),
                         );
                     }
+                    (HeapCellValueTag::Cons | HeapCellValueTag::Fixnum |
+                     HeapCellValueTag::F64) if arity != 0 => {
+                        let err = self.type_error(ValidType::Atom, store_name);
+                        return Err(self.error_form(err, stub_gen())); // 8.5.1.3 e)
+                    }
                     _ => {
                         let err = self.type_error(ValidType::Atomic, store_name);
-                        return Err(self.error_form(err, stub_gen()));
-                    } // 8.5.1.3 c)
+                        return Err(self.error_form(err, stub_gen())); // 8.5.1.3 c)
+                    }
                 );
             }
             _ => {