Merge pull request #2233 from aarroyoc/fix-functor-2214

Throw ValidType::Atom error in functor
mthom · Dec 18, 2023 · 1362456 · 1362456
2 parents e4f6458 + d132227
commit 1362456
Showing 1 changed file with 7 additions and 2 deletions.
diff --git 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)
+                    }
                 );
             }
             _ => {