Skip to content

Commit 225d221

Browse files
committed
need for fish_riddle
1 parent 06c8c13 commit 225d221

File tree

2 files changed

+9
-2
lines changed

2 files changed

+9
-2
lines changed

prolog/metta_lang/metta_compiler.pl

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -947,7 +947,14 @@
947947

948948
% If Convert is a number or an atom, it is considered as already converted.
949949
f2p(_HeadIs, _LazyVars, Convert, Convert, x(noeval,eager,[]), Convert, [], []) :-
950-
once(number(Convert); atom(Convert);atomic(Convert);self_eval(Convert); data_term(Convert)),!. % Check if Convert is a number or an atom
950+
once(number(Convert); atom(Convert);atomic(Convert)),!. % Check if Convert is a number or an atom
951+
952+
f2p(_HeadIs, _LazyVars, Convert, Convert, x(noeval,eager,[]), Convert, [], []) :- fail,
953+
once(self_eval(Convert)),!.
954+
955+
f2p(_HeadIs, _LazyVars, Convert, Convert, x(noeval,eager,[]), Convert, [], []) :- fail,
956+
once(data_term(Convert)),!.
957+
951958

952959
f2p(_HeadIs, _LazyVars, AsIsNoConvert, AsIsNoConvert, x(doeval,eager,[]), AsIsNoConvert, [], []) :-
953960
as_is_data_term(AsIsNoConvert),!. % Check if Convert is kept AsIs

prolog/metta_lang/metta_compiler_lib.pl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -836,7 +836,7 @@
836836
%metta_body_macro_pass(bu,[eval,Next], Next).
837837

838838
% metta_body_macro_pass(td,[eval,Eval], Eval).
839-
%metta_body_macro_pass(td1,['capture',Eval], Eval).
839+
metta_body_macro_pass(td1,['capture',Eval], Eval).
840840

841841
metta_body_macro_pass(td2,['unique',Eval],
842842
['let',Var,['call-fn!','no_repeats_var'],

0 commit comments

Comments
 (0)