Throw error in call_residue_vars/2

This commit is contained in:
Adrián Arroyo Calle
2024-01-19 16:58:26 +01:00
parent e3aa85e2a2
commit 958bf51648

View File

@@ -3,6 +3,7 @@
term_attributed_variables/2]).
:- use_module(library(dcgs)).
:- use_module(library(error)).
:- use_module(library(terms)).
/* represent the list of attributes belonging to a variable,
@@ -113,6 +114,7 @@ user:goal_expansion(Term, M:get_atts(Var, 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).