From 814c0346835263fa6f6a437b19222612b151cbde Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 1 Feb 2021 19:26:50 -0700 Subject: [PATCH] add meta-predicate declarations before their definitions --- src/lib/iso_ext.pl | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index b9b3c893..c7c3d6c3 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -11,6 +11,12 @@ :- use_module(library(error), [can_be/2,domain_error/3]). + +:- meta_predicate call_cleanup(0, 0). + +:- meta_predicate setup_call_cleanup(0, 0, 0). + + forall(Generate, Test) :- \+ (Generate, \+ Test). @@ -23,9 +29,9 @@ bb_put(Key, _) :- throw(error(type_error(atom, Key), bb_put/2)). bb_b_put(Key, NewValue) :- ( '$bb_get_with_offset'(Key, OldValue, OldOffset) -> - call_cleanup((iso_ext:store_global_var_with_offset(Key, NewValue) ; false), + call_cleanup((store_global_var_with_offset(Key, NewValue) ; false), reset_global_var_at_offset(Key, OldValue, OldOffset)) - ; call_cleanup((iso_ext:store_global_var_with_offset(Key, NewValue) ; false), + ; call_cleanup((store_global_var_with_offset(Key, NewValue) ; false), reset_global_var_at_key(Key)) ). @@ -46,15 +52,11 @@ bb_get(Key, Value) :- atom(Key), !, '$fetch_global_var'(Key, Value). bb_get(Key, _) :- throw(error(type_error(atom, Key), bb_get/2)). -:- meta_predicate call_cleanup(0, 0). - call_cleanup(G, C) :- setup_call_cleanup(true, G, C). % setup_call_cleanup. -:- meta_predicate setup_call_cleanup(0, 0, 0). - setup_call_cleanup(S, G, C) :- '$get_b_value'(B), call(S), -- 2.54.0