From fcac4ea6777b0c1621021e21b28b5a6136befa98 Mon Sep 17 00:00:00 2001 From: logicmoo Date: Mon, 30 Dec 2024 19:42:38 -0800 Subject: [PATCH] allow redefinition of = --- prolog/metta_lang/metta_eval.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prolog/metta_lang/metta_eval.pl b/prolog/metta_lang/metta_eval.pl index 5411cd2cfe..cf678c905f 100755 --- a/prolog/metta_lang/metta_eval.pl +++ b/prolog/metta_lang/metta_eval.pl @@ -120,7 +120,7 @@ % is_self_eval_l_fa('=',2). % eval_20(Eq,RetType,Depth,Self,['quote',Eval],RetVal):- !, Eval = RetVal, check_returnval(Eq,RetType,RetVal). is_self_eval_l_fa('quote',_). -is_self_eval_l_fa('=',_):- nb_current(evaling_args,t). +%is_self_eval_l_fa('=',_):- nb_current(evaling_args,t). is_self_eval_l_fa(':',_):- nb_current(evaling_args,t). is_self_eval_l_fa('Error',_). is_self_eval_l_fa('{...}',_).