From cb7c2e0ca81e4935dfc3c328ff43e76b0d0901c0 Mon Sep 17 00:00:00 2001 From: Roberto Bagnara Date: Sun, 19 Dec 2010 18:49:50 +0100 Subject: [PATCH] Fixed PL_is_integer() and PL_is_number() so as to take bignums into account. --- library/dialect/swi/fli/swi.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c index f15cdc8d0..bd4aae8e4 100755 --- a/library/dialect/swi/fli/swi.c +++ b/library/dialect/swi/fli/swi.c @@ -2212,7 +2212,7 @@ X_API int PL_is_float(term_t ts) X_API int PL_is_integer(term_t ts) { YAP_Term t = Yap_GetFromSlot(ts); - return YAP_IsIntTerm(t); + return YAP_IsIntTerm(t) || YAP_IsBigNumTerm(t); } X_API int PL_is_list(term_t ts) @@ -2224,7 +2224,7 @@ X_API int PL_is_list(term_t ts) X_API int PL_is_number(term_t ts) { YAP_Term t = Yap_GetFromSlot(ts); - return YAP_IsIntTerm(t) || YAP_IsFloatTerm(t); + return YAP_IsIntTerm(t) || YAP_IsBigNumTerm(t) || YAP_IsFloatTerm(t); } X_API int PL_is_string(term_t ts)