move call_residue_vars/2 from atts.pl to iso_ext.pl

diff --git a/src/lib/atts.pl b/src/lib/atts.pl
index a1ba0f7d975663889e5c88edac4df617e0003841..f251b57d9d4228c3e8169c7fd712eefe0ec67069 100644 (file)
--- a/src/lib/atts.pl
+++ b/src/lib/atts.pl
@@ -1,5 +1,4 @@
 :- module(atts, [op(1199, fx, attribute),
-                 call_residue_vars/2,
                  term_attributed_variables/2]).
 
 :- use_module(library(dcgs)).
@@ -111,13 +110,5 @@ user:goal_expansion(Term, M:get_atts(Var, Attr)) :-
     nonvar(Term),
     Term = get_atts(Var, M, Attr).
 
-:- meta_predicate call_residue_vars(0, ?).
-
-call_residue_vars(Goal, Vars) :-
-    can_be(list, Vars),
-    '$get_attr_var_queue_delim'(B),
-    call(Goal),
-    '$get_attr_var_queue_beyond'(B, Vars).
-
 term_attributed_variables(Term, Vars) :-
     '$term_attributed_variables'(Term, Vars).

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 3e17f2180b8daf06f0458c6e0e357408423e25de..3eb00a3e80d47aa263c115077bda3ab4993804f9 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -9,6 +9,7 @@ but they're not part of the ISO Prolog standard at the moment.
                     bb_put/2,
                     call_cleanup/2,
                     call_with_inference_limit/3,
+                    call_residue_vars/2,
                     forall/2,
                     partial_string/1,
                     partial_string/3,
@@ -397,3 +398,11 @@ copy_term(Term, Copy, Gs) :-
       Gs = []
    ;  true
    ).
+
+:- meta_predicate call_residue_vars(0, ?).
+
+call_residue_vars(Goal, Vars) :-
+    can_be(list, Vars),
+    '$get_attr_var_queue_delim'(B),
+    call(Goal),
+    '$get_attr_var_queue_beyond'(B, Vars).

diff --git a/src/tests/dif.pl b/src/tests/dif.pl
index f08360074389af2b5e6258b7863b7a2250d027b0..c7dfbdd7b7257ade5644b112c5ac7ad1fe80c1d9 100644 (file)
--- a/src/tests/dif.pl
+++ b/src/tests/dif.pl
@@ -1,10 +1,10 @@
 /**/
 
-:- use_module(library(format)).
 :- use_module(library(dcgs)).
+:- use_module(library(format)).
 :- use_module(library(lists)).
 :- use_module(library(debug)).
-:- use_module(library(atts)).
+:- use_module(library(iso_ext)).
 :- use_module(library(dif)).
 
 % Tests from https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dif

diff --git a/src/tests/when.pl b/src/tests/when.pl
index 197d2ee78db8e4537c357ae9bf04163573166292..7356e42ee17dd32c79e9fa0fa67d456640b4fc0e 100644 (file)
--- a/src/tests/when.pl
+++ b/src/tests/when.pl
@@ -1,10 +1,10 @@
 /**/
 
+:- use_module(library(iso_ext)).
 :- use_module(library(format)).
 :- use_module(library(dcgs)).
 :- use_module(library(lists)).
 :- use_module(library(debug)).
-:- use_module(library(atts)).
 
 :- use_module(library(when)).
 

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 25ad94aa51fa609aab665d6860a57a3876e3e4d1..820d91d0771368e72b000ddb6b5cb7d69fc6b860 100644 (file)
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -1,6 +1,5 @@
 :- module('$toplevel', []).
 
-:- use_module(library(atts), [call_residue_vars/2]).
 :- use_module(library(charsio)).
 :- use_module(library(error)).
 :- use_module(library(files)).
@@ -28,7 +27,7 @@ load_scryerrc :-
     ).
 
 '$repl' :-
-    asserta('$toplevel':started),    
+    asserta('$toplevel':started),
     raw_argv(Args0),
     (   append(Args1, ["--"|_], Args0) ->
         Args = Args1
@@ -186,7 +185,7 @@ submit_query_and_print_results_(Term, VarList) :-
     bb_put('$report_all', false),
     bb_put('$report_n_more', 0),
     expand_goal(Term, user, Term0),
-    atts:call_residue_vars(user:Term0, AttrVars),
+    call_residue_vars(user:Term0, AttrVars),
     write_eqs_and_read_input(B, VarList, AttrVars),
     !.
 submit_query_and_print_results_(_, _) :-
@@ -451,4 +450,3 @@ print_exception_with_check(E) :-
     % is expected to be printed instead.
     ;  print_exception(E)
     ).
-

diff --git a/tests/scryer/cli/issues/handle_residual_goal.stdin b/tests/scryer/cli/issues/handle_residual_goal.stdin
index 7fc13d6fcdb9fa28b829d8ebf3a59986e76694cd..1d7849f3bc593026ba1e49e6f12378514e723b59 100644 (file)
--- a/tests/scryer/cli/issues/handle_residual_goal.stdin
+++ b/tests/scryer/cli/issues/handle_residual_goal.stdin
@@ -1,5 +1,5 @@
 use_module(library(dif)).
-use_module(library(atts)).
+use_module(library(iso_ext)).
 -X\=X.
 -X=X.
 dif(-X,X).