\!(get-type 'a') --> Char

trueagi-io · Sep 1, 2024 · 7ffac27 · 7ffac27
1 parent 88fc206
commit 7ffac27
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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),