From: Markus Triska <triska@metalevel.at>
Date: Thu, 11 Nov 2021 18:29:32 +0000 (+0100)
Subject: use functional notation for all meta_predicate/1 directives
X-Git-Tag: v0.9.0~32^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=57877107d8a2e8a5e92fb79e3f4641ac0fbaa02d;p=scryer-prolog.git

use functional notation for all meta_predicate/1 directives
---

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),