fix looping from issue 2467

2024-08-17 23:33:32 +02:00
parent bacfed8983
commit c24a51b633
3 changed files with 19 additions and 7 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -168,7 +168,9 @@ repl :-
 %% Enable op declarations with lists of operands, i.e.,
 %% :- op(900, fy, [$,@]).

-user:term_expansion((:- op(Pred, Spec, [Op | OtherOps])), OpResults) :-
+user:term_expansion((:- op(Pred, Spec, Ops)), OpResults) :- 
+    ground(Ops), 
+    Ops = [Op | OtherOps],
    expand_op_list([Op | OtherOps], Pred, Spec, OpResults).

 expand_op_list([], _, _, []).