Skip to content

Commit

Permalink
A bit too dangerous uncommenting these...
Browse files Browse the repository at this point in the history
     when the compiler thunks to interpeter
     these can call the compiler creating a loop trueagi-io/metta-wam#224
  • Loading branch information
TeamSPoon committed Dec 17, 2024
1 parent a6b43d6 commit db96914
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion prolog/metta_lang/metta_eval.pl
Original file line number Diff line number Diff line change
Expand Up @@ -2289,6 +2289,10 @@
suggest_type(RetType,'Bool'),
as_tf(same_terms(X,Y),TF).

/*
A bit too dangerous uncommenting these...
when the compiler thunks to interpeter
these can call the compiler creating a loop
eval_20(_Eq,RetType,_Dpth,_Slf,[EQ|Args],TF):-
prefix_impl_preds('mc__',EQ,Len),
Expand All @@ -2301,7 +2305,7 @@
append(Args,[TF],PArgs),length(PArgs,Len),
atom_concat('mi__',EQ,Fn),!,
apply(Fn,PArgs).

*/


suggest_type(_RetType,_Bool).
Expand Down

0 comments on commit db96914

Please sign in to comment.