From 7ffac2700d8ed4428e4c99e2fc0fa30f4646467a Mon Sep 17 00:00:00 2001 From: logicmoo Date: Sun, 1 Sep 2024 01:03:28 -0700 Subject: [PATCH] \!(get-type 'a') --> Char --- src/canary/metta_types.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/canary/metta_types.pl b/src/canary/metta_types.pl index a94a7f93da8..e59571edaf5 100755 --- a/src/canary/metta_types.pl +++ b/src/canary/metta_types.pl @@ -267,6 +267,8 @@ get_type_cmpd(_Dpth,_Slf,Val,Type,dict):- is_dict(Val,Type),!, get_dict_type(Val,Type,TypeO). +get_type_cmpd(_Dpth,_Slf,'#\\'(_),'Char',functgor):- !. + % Curried Op get_type_cmpd(Depth,Self,[[Op|Args]|Arg],Type,curried(W)):- symbol(Op),