Skip to content

Commit

Permalink
Removed Warning: '/home/deb12user/metta-wam/prolog/metta_lang/metta_e…
Browse files Browse the repository at this point in the history
…val.pl':1173:64: Illegal UTF-8 start
  • Loading branch information
TeamSPoon committed Dec 11, 2024
1 parent 31840da commit 1f52450
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions prolog/metta_lang/metta_eval.pl
Original file line number Diff line number Diff line change
Expand Up @@ -1168,13 +1168,13 @@

% GUESS `¯\\_ :( _/¯` what version of unify they are trying to use? ¯(°_o)/¯

% 1) If Arg1 is a space, then we redirect to a 'match' operation.
% 1) If Arg1 is a space, then we redirect to a `match` operation.
eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- is_space(Arg1), !,
eval_args(Eq,RetType,Depth,Self,['match',Arg1,Arg2|Args],Res).
% 2) If Arg1 and Arg2 are nonvars and Arg1 is declared a 'Container', then use 'container-unify'
% 2) If Arg1 and Arg2 are nonvars and Arg1 is declared a `Container`, then use `container-unify`
eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- nonvar(Arg1), nonvar(Arg2), get_type(Depth,Self,Arg1,'Container'),
eval_args(Eq,RetType,Depth,Self,['container-unify',Arg1,Arg2|Args],Res).
% 3) Otherwise, default to using 'if-unify' for the unify operation.
% 3) Otherwise, default to using `if-unify` for the unify operation.
eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- !,
eval_args(Eq,RetType,Depth,Self,['if-unify',Arg1,Arg2|Args],Res).

Expand Down

0 comments on commit 1f52450

Please sign in to comment.