rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix priority in op/3

Browse Source
This commit is contained in:
bakaq
2024-10-12 23:37:58 -03:00
parent 190929e4ac
commit 90d418a181
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/toplevel.pl
View File

@@ -170,14 +170,14 @@ repl :-
%% Enable op declarations with lists of operands, i.e., %% Enable op declarations with lists of operands, i.e.,
%% :- op(900, fy, [$,@]). %% :- op(900, fy, [$,@]).
user:term_expansion((:- op(Pred, Spec, Ops)), OpResults) :- user:term_expansion((:- op(Pri, Spec, Ops)), OpResults) :-
ground(Ops), ground(Ops),
Ops = [Op | OtherOps], Ops = [Op | OtherOps],
expand_op_list([Op | OtherOps], Pred, Spec, OpResults). expand_op_list([Op | OtherOps], Pri, Spec, OpResults).
expand_op_list([], _, _, []). expand_op_list([], _, _, []).
expand_op_list([Op | OtherOps], Pred, Spec, [(:- op(Pred, Spec, Op)) | OtherResults]) :- expand_op_list([Op | OtherOps], Pri, Spec, [(:- op(Pri, Spec, Op)) | OtherResults]) :-
expand_op_list(OtherOps, Pred, Spec, OtherResults). expand_op_list(OtherOps, Pri, Spec, OtherResults).
read_and_match :- read_and_match :-