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

ENHANCED: must_be/2: prefer type error over instantiation error

Browse Source 
This addresses #1594.
This commit is contained in:
Markus Triska
2023-02-26 22:27:06 +01:00
parent 04ba58067a
commit 3dc6ed79d2
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/lib/error.pl
View File

@@ -1,5 +1,5 @@
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Written 2018-2022 by Markus Triska (triska@metalevel.at) Written 2018-2023 by Markus Triska (triska@metalevel.at)
I place this code in the public domain. Use it in any way you want. I place this code in the public domain. Use it in any way you want.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
@@ -85,11 +85,11 @@ must_be_(list, Term) :- check_(error:ilist, list, Term).
must_be_(type, Term) :- check_(error:type, type, Term). must_be_(type, Term) :- check_(error:type, type, Term).
must_be_(boolean, Term) :- check_(error:boolean, boolean, Term). must_be_(boolean, Term) :- check_(error:boolean, boolean, Term).
must_be_(term, Term) :- must_be_(term, Term) :-
( \+ ground(Term) -> ( acyclic_term(Term) ->
instantiation_error(must_be/2) ( ground(Term) -> true
; \+ acyclic_term(Term) -> ; instantiation_error(must_be/2)
type_error(term, Term, must_be/2) )
; true ; type_error(term, Term, must_be/2)
). ).
% We cannot use maplist(must_be(character), Cs), because library(lists) % We cannot use maplist(must_be(character), Cs), because library(lists)