From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 15 Mar 2023 03:34:48 +0000 (-0600)
Subject: Revert "use new call_residue_vars/2 in toplevel.pl (#847)"
X-Git-Tag: v0.9.2~165
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cc8bb38abc6c5f2dc4fca68ef3991b7c5453bf90;p=scryer-prolog.git

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 0521d429..a5cd9582 100644
--- 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 0bab4415..8caea7ba 100644
--- 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),