FIXED: expand_term/2 to succeed twice when expanding a toplevel list.

Results in duplicate clauses when compiling `[f(1), f(2)].`. Reported by Uwe Neumerkel.
SWI-Prolog · Oct 18, 2024 · e265369 · e265369
1 parent 733db7c
commit e265369
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/boot/expand.pl b/boot/expand.pl
@@ -377,7 +377,8 @@
     var(Var),
     !.
 list_pos(list_position(F,T,Elems0,none), Elems0,
-         list_position(F,T,Elems,none),  Elems).
+         list_position(F,T,Elems,none),  Elems) :-
+    !.
 list_pos(Pos, [Pos], Elems, Elems).