Merge pull request #483 from trueagi-io/lettype

fix let return type
trueagi-io · Nov 2, 2023 · 260167d · 260167d
2 parents b7e55c4 + ca94de6
commit 260167d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/src/metta/runner/stdlib.rs b/lib/src/metta/runner/stdlib.rs
@@ -869,7 +869,7 @@ use std::collections::HashSet;
 impl Grounded for LetOp {
     fn type_(&self) -> Atom {
         // TODO: Undefined for the argument is necessary to make argument reductable.
-        Atom::expr([ARROW_SYMBOL, ATOM_TYPE_ATOM, ATOM_TYPE_UNDEFINED, ATOM_TYPE_ATOM, ATOM_TYPE_ATOM])
+        Atom::expr([ARROW_SYMBOL, ATOM_TYPE_ATOM, ATOM_TYPE_UNDEFINED, ATOM_TYPE_ATOM, ATOM_TYPE_UNDEFINED])
     }
 
     fn execute(&self, args: &[Atom]) -> Result<Vec<Atom>, ExecError> {
@@ -930,7 +930,7 @@ impl Display for LetVarOp {
 impl Grounded for LetVarOp {
     fn type_(&self) -> Atom {
         // The first argument is an Atom, because it has to be evaluated iteratively
-        Atom::expr([ARROW_SYMBOL, ATOM_TYPE_ATOM, ATOM_TYPE_ATOM, ATOM_TYPE_ATOM])
+        Atom::expr([ARROW_SYMBOL, ATOM_TYPE_ATOM, ATOM_TYPE_ATOM, ATOM_TYPE_UNDEFINED])
     }
 
     fn execute(&self, args: &[Atom]) -> Result<Vec<Atom>, ExecError> {