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

fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049, #2050, #2051, #2052)

Browse Source
This commit is contained in:
Mark
2023-09-27 17:55:15 -06:00
parent 0bfb08e464
commit f630a8cc1a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/loader.pl
View File

@@ -411,7 +411,7 @@ add_predicate_declaration(Handler, Module:Name/Arity) :-
predicate_indicator(Name/Arity), predicate_indicator(Name/Arity),
call(Handler, Module, Name, Arity). call(Handler, Module, Name, Arity).
add_predicate_declaration(Handler, [PI|PIs]) :- add_predicate_declaration(Handler, [PI|PIs]) :-
'$skip_max_list'(_, -1, PIs, Tail), '$skip_max_list'(_, _, PIs, Tail),
( Tail == [], ( Tail == [],
maplist(loader:predicate_indicator, PIs) -> maplist(loader:predicate_indicator, PIs) ->
maplist(loader:add_predicate_declaration(Handler), [PI|PIs]) maplist(loader:add_predicate_declaration(Handler), [PI|PIs])