From: Mark Date: Wed, 27 Sep 2023 23:55:15 +0000 (-0600) Subject: fix add_predicate_declaration bug not correctly identifying lists of predicate indica... X-Git-Tag: remove~74 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f630a8cc1ab279c917a348b3953c39719f751ac1;p=scryer-prolog.git fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049, #2050, #2051, #2052) --- diff --git a/src/loader.pl b/src/loader.pl index 513caafd..467644e0 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -411,7 +411,7 @@ add_predicate_declaration(Handler, Module:Name/Arity) :- predicate_indicator(Name/Arity), call(Handler, Module, Name, Arity). add_predicate_declaration(Handler, [PI|PIs]) :- - '$skip_max_list'(_, -1, PIs, Tail), + '$skip_max_list'(_, _, PIs, Tail), ( Tail == [], maplist(loader:predicate_indicator, PIs) -> maplist(loader:add_predicate_declaration(Handler), [PI|PIs])