From 812a88e2776efe0a35c987f5e4ced646035e1aa0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sat, 5 Mar 2016 12:37:58 +0000 Subject: [PATCH] keep on simplifying modules --- pl/error.yap | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pl/error.yap b/pl/error.yap index 0f7f0a80f..08e8a4bea 100644 --- a/pl/error.yap +++ b/pl/error.yap @@ -6,7 +6,7 @@ @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/3, % +Type, +Term, +Comment must_be/2, % +Type, +Term @@ -21,7 +21,7 @@ instantiation_error/1, % +Term representation_error/1, % +Reason is_of_type/2 % +Type, +Term - ]). + ]), []) . /** @defgroup error Error generating support @@ -117,8 +117,8 @@ must_be_of_type(Type, X) :- ; is_not(Type, X) ). -inline(must_be_of_type( callable, X ), error:is_callable(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 ), is_callable(X, _) ). must_be_of_type(predicate_indicator, X, Comment) :- !,