Merge pull request #2300 from aarroyoc/fix-2298

Throw error in call_residue_vars/2
mthom · Jan 19, 2024 · 6421fe1 · 6421fe1
2 parents e3aa85e + 958bf51
commit 6421fe1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lib/atts.pl b/src/lib/atts.pl
@@ -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 @@
 :- 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).