From: Mark <markjordanthom@gmail.com>
Date: Tue, 26 Sep 2023 17:21:47 +0000 (-0600)
Subject: add predicate indicator sequences to loader:add_predicate_declaration (#1586)
X-Git-Tag: remove~84
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e8334f9b67505baea12ac8482bbaf9ac9dc8dee3;p=scryer-prolog.git

add predicate indicator sequences to loader:add_predicate_declaration (#1586)
---

diff --git a/src/loader.pl b/src/loader.pl
index cf72820e..da37c17c 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -393,6 +393,9 @@ add_predicate_declaration(Handler, Module:Name/Arity) :-
     call(Handler, Module, Name, Arity).
 add_predicate_declaration(Handler, [PI|PIs]) :-
     maplist(loader:add_predicate_declaration(Handler), [PI|PIs]).
+add_predicate_declaration(Handler, (PI, PIs)) :-
+    add_predicate_declaration(Handler, PI),
+    add_predicate_declaration(Handler, PIs).
 
 add_dynamic_predicate(Evacuable, Module, Name, Arity) :-
     '$add_dynamic_predicate'(Module, Name, Arity, Evacuable).