rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1099 from aarroyoc/uninstantiation_error-missing

Browse Source 
Fix uninstantiation_error missing. Fix #1031
This commit is contained in:
Mark Thom
2021-11-21 15:27:38 -05:00
committed by GitHub
parent eaad2d8b1f 72a88d1f91
commit b851eefb03
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/atts.pl
View File

@@ -101,13 +101,13 @@ expand_terms(Atts, Module) -->
put_attrs_var_check --> put_attrs_var_check -->
[(put_atts(Var, Attr) :- nonvar(Var), [(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), (put_atts(Var, Attr) :- var(Attr),
throw(error(instantiation_error, put_atts/2)))]. throw(error(instantiation_error, put_atts/2)))].
get_attrs_var_check(Module) --> get_attrs_var_check(Module) -->
[(get_atts(Var, Attr) :- nonvar(Var), [(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_atts(Var, Attr) :- var(Attr),
!, !,
'$get_attr_list'(Var, Ls), '$get_attr_list'(Var, Ls),

2
src/lib/error.pl
View File

@@ -40,7 +40,7 @@ must_be_(Type, _) :-
instantiation_error(must_be/2). instantiation_error(must_be/2).
must_be_(var, Term) :- must_be_(var, Term) :-
( var(Term) -> true ( 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_(integer, Term) :- check_(integer, integer, Term).
must_be_(atom, Term) :- check_(atom, atom, Term). must_be_(atom, Term) :- check_(atom, atom, Term).