From 72a88d1f91d33e7ec49d9460383572260a9305bf Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Tue, 16 Nov 2021 23:22:24 +0100 Subject: [PATCH] Fix uninstantiation_error missing. Fix #1031 --- src/lib/atts.pl | 4 ++-- src/lib/error.pl | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/atts.pl b/src/lib/atts.pl index ed241f7e..5906466b 100644 --- a/src/lib/atts.pl +++ b/src/lib/atts.pl @@ -101,13 +101,13 @@ expand_terms(Atts, Module) --> put_attrs_var_check --> [(put_atts(Var, Attr) :- nonvar(Var), - throw(error(type_error(variable, Var), put_atts/2))), + throw(error(uninstantiation_error(Var), put_atts/2))), (put_atts(Var, Attr) :- var(Attr), throw(error(instantiation_error, put_atts/2)))]. get_attrs_var_check(Module) --> [(get_atts(Var, Attr) :- nonvar(Var), - throw(error(type_error(variable, Var), get_atts/2))), + throw(error(uninstantiation_error(Var), get_atts/2))), (get_atts(Var, Attr) :- var(Attr), !, '$get_attr_list'(Var, Ls), diff --git a/src/lib/error.pl b/src/lib/error.pl index 99592790..a79bd560 100644 --- a/src/lib/error.pl +++ b/src/lib/error.pl @@ -40,7 +40,7 @@ must_be_(Type, _) :- instantiation_error(must_be/2). must_be_(var, Term) :- ( var(Term) -> true - ; throw(error(uninstantiation_error, must_be/2)) + ; throw(error(uninstantiation_error(Term), must_be/2)) ). must_be_(integer, Term) :- check_(integer, integer, Term). must_be_(atom, Term) :- check_(atom, atom, Term). -- 2.54.0