From: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
Date: Fri, 19 Jan 2024 15:58:26 +0000 (+0100)
Subject: Throw error in call_residue_vars/2
X-Git-Tag: v0.9.4~27^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=958bf516484a2bd6af5c1fe19ddc11e9483ded78;p=scryer-prolog.git

Throw error in call_residue_vars/2
---

diff --git a/src/lib/atts.pl b/src/lib/atts.pl
index d6ee47a3..a1ba0f7d 100644
--- 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 @@ 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).