Design Workaround for argument types Expression in

trueagi-io · Sep 4, 2024 · 4c8dbb6 · 4c8dbb6
1 parent bbab4db
commit 4c8dbb6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/canary/metta_eval.pl b/src/canary/metta_eval.pl
@@ -1420,7 +1420,8 @@
 
 eval_20(Eq,RetType,Depth,Self,['format-args',Format,Args],Result):-
    eval_args(Eq,RetType,Depth,Self,Format,EFormat),
-   eval_args(Eq,RetType,Depth,Self,Args,EArgs),
+   %eval_args(Eq,'Expression',Depth,Self,Args,EArgs),
+   Args=EArgs,
    is_list(EArgs),string_chars(EFormat, FormatChars), !,
    user_io(with_output_to_str( Result, format_nth_args(FormatChars, 0, EArgs))).
 eval_20(Eq,RetType,Depth,Self,['format-args',_Fmt,Args],_Result) :-

diff --git a/src/canary/stdlib_mettalog.metta b/src/canary/stdlib_mettalog.metta
@@ -1350,7 +1350,7 @@
     (@param "Expression with {} symbols to be replaced")
     (@param "Atoms to be placed inside expression instead of {}")))
   (@return "Expression with replaced {} with atoms"))
-(: format-args (-> String Expresson String))
+(: format-args (-> String Atom String))
 ;; Implemented from Interpreters
 
 ;; Public MeTTa