diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

keep on simplifying modules

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-03-05 12:37:58 +00:00
parent fdcc75d4ae
commit 812a88e277
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pl/error.yap
View File

@ -6,7 +6,7 @@
@author adapted to YAP by Vitor Santos Costa @author adapted to YAP by Vitor Santos Costa
*/ */
:- module(system(error), :- module(system(error,
[ must_be_of_type/2, % +Type, +Term [ must_be_of_type/2, % +Type, +Term
must_be_of_type/3, % +Type, +Term, +Comment must_be_of_type/3, % +Type, +Term, +Comment
must_be/2, % +Type, +Term must_be/2, % +Type, +Term
@ -21,7 +21,7 @@
instantiation_error/1, % +Term instantiation_error/1, % +Term
representation_error/1, % +Reason representation_error/1, % +Reason
is_of_type/2 % +Type, +Term is_of_type/2 % +Type, +Term
]). ]), []) .
/** /**
@defgroup error Error generating support @defgroup error Error generating support
@ -117,8 +117,8 @@ must_be_of_type(Type, X) :-
; is_not(Type, X) ; is_not(Type, X)
). ).
inline(must_be_of_type( callable, X ), error:is_callable(X, _) ). inline(must_be_of_type( callable, X ), is_callable(X, _) ).
inline(must_be_of_type( callable, X ), error:is_callable(X, _) ). inline(must_be_of_type( callable, X ), is_callable(X, _) ).
must_be_of_type(predicate_indicator, X, Comment) :- must_be_of_type(predicate_indicator, X, Comment) :-
!, !,