From e9b4a99c8f587de5de96cf2cebdaaf4c16b5a961 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 11 Nov 2021 19:26:27 +0100 Subject: [PATCH 1/2] FIXED: meta_predicate/1 directive for call_nth/2. This addresses #1021. --- src/lib/iso_ext.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index be44099f..7ddc6bb7 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -183,6 +183,8 @@ partial_string_tail(String, Tail) :- :- dynamic(i_call_nth_nesting/2). :- dynamic(i_call_nth_counter/1). +:- meta_predicate(call_nth(0, ?)). + call_nth(Goal, N) :- can_be(integer, N), ( integer(N), N =< 0, From 57877107d8a2e8a5e92fb79e3f4641ac0fbaa02d Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 11 Nov 2021 19:29:32 +0100 Subject: [PATCH 2/2] use functional notation for all meta_predicate/1 directives --- src/lib/iso_ext.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index 7ddc6bb7..378d495a 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -23,11 +23,11 @@ type_error/3]). -:- meta_predicate call_cleanup(0, 0). +:- meta_predicate(call_cleanup(0, 0)). -:- meta_predicate setup_call_cleanup(0, 0, 0). +:- meta_predicate(setup_call_cleanup(0, 0, 0)). -:- meta_predicate forall(0, 0). +:- meta_predicate(forall(0, 0)). forall(Generate, Test) :- \+ (Generate, \+ Test). @@ -131,7 +131,7 @@ handle_ile(B, E, _) :- '$remove_call_policy_check'(B), '$call_with_default_policy'(throw(E)). -:- meta_predicate call_with_inference_limit(0, ?, ?). +:- meta_predicate(call_with_inference_limit(0, ?, ?)). call_with_inference_limit(G, L, R) :- '$get_current_block'(Bb),