Revert "use new call_residue_vars/2 in toplevel.pl (#847)"

This reverts commit 04ba9bc11af31780cd8fa259d78d151262c3c756.

diff --git a/src/lib/atts.pl b/src/lib/atts.pl
index 0521d4290d7a66cffe22451e848f232e24a3e0b6..a5cd95821e1a9cd6b5d8e28684aa8cfe420a7d49 100644 (file)
--- a/src/lib/atts.pl
+++ b/src/lib/atts.pl
@@ -110,9 +110,6 @@ user:goal_expansion(Term, M:get_atts(Var, Attr)) :-
     nonvar(Term),
     Term = get_atts(Var, M, Attr).
 
-term_attributed_variables(Term, Vars) :-
-    '$term_attributed_variables'(Term, Vars).
-
 :- meta_predicate call_residue_vars(0, ?).
 
 call_residue_vars(Goal, Vars) :-
@@ -121,3 +118,6 @@ call_residue_vars(Goal, Vars) :-
     '$get_attr_var_queue_beyond'(B, AttrVars),
     '$project_atts':copy_term(AttrVars, AttrVars, Gs),
     '$term_attributed_variables_without_attrs'(Gs, Vars).
+
+term_attributed_variables(Term, Vars) :-
+    '$term_attributed_variables'(Term, Vars).

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 0bab4415758c9a928f6df3aa02f572a6a2f1448c..8caea7ba87d8a1c5e1957097e97c364bcb917175 100644 (file)
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -1,7 +1,6 @@
 :- module('$toplevel', [argv/1,
                         copy_term/3]).
 
-:- use_module(library(atts), [call_residue_vars/2]).
 :- use_module(library(charsio)).
 :- use_module(library(error)).
 :- use_module(library(files)).
@@ -181,8 +180,8 @@ submit_query_and_print_results_(Term, VarList) :-
     '$get_b_value'(B),
     bb_put('$report_all', false),
     bb_put('$report_n_more', 0),
-    atts:call_residue_vars(user:Term, AttrVars),
-    write_eqs_and_read_input(B, VarList, AttrVars),
+    call(user:Term),
+    write_eqs_and_read_input(B, VarList),
     !.
 submit_query_and_print_results_(_, _) :-
     (   bb_get('$answer_count', 0) ->
@@ -287,10 +286,11 @@ trailing_period_is_ambiguous(Value) :-
 term_variables_under_max_depth(Term, MaxDepth, Vars) :-
     '$term_variables_under_max_depth'(Term, MaxDepth, Vars).
 
-write_eqs_and_read_input(B, VarList, AttrVars) :-
+write_eqs_and_read_input(B, VarList) :-
     gather_query_vars(VarList, OrigVars),
     % one layer of depth added for (=/2) functor
     '$term_variables_under_max_depth'(OrigVars, 22, Vars0),
+    '$term_attributed_variables'(VarList, AttrVars),
     '$project_atts':project_attributes(Vars0, AttrVars),
     copy_term(AttrVars, AttrVars, AttrGoals),
     term_variables(AttrGoals, AttrGoalVars),