]> Repositorios git - scryer-prolog.git/commitdiff
add meta-predicate declarations before their definitions
authorMark Thom <[email protected]>
Tue, 2 Feb 2021 02:26:50 +0000 (19:26 -0700)
committerMark Thom <[email protected]>
Tue, 2 Feb 2021 02:26:50 +0000 (19:26 -0700)
src/lib/iso_ext.pl

index b9b3c893a315cf97ba5c42f1ea919f1dd8f9b841..c7c3d6c35c2b32433628a11c82a3411d7f421e87 100644 (file)
 
 :- 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),