use functional notation for all meta_predicate/1 directives
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),
