mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-20 08:27:15 +00:00
18 lines
553 B
Plaintext
18 lines
553 B
Plaintext
--- ../emu/std_pred_xsb_i.h.orig Sat Jan 31 02:08:02 2004
|
|
+++ ../emu/std_pred_xsb_i.h Sat Jan 31 02:16:16 2004
|
|
@@ -485,8 +485,12 @@
|
|
if (isfloat(term)) {
|
|
sprintf(str, "%e", float_val(term));
|
|
} else {
|
|
- err_handle(TYPE, 1, call_name, 2, "number", term);
|
|
- return FALSE; /* fail */
|
|
+ if (isboxedinteger(term)) {
|
|
+ sprintf(str, "%ld", (long)boxedint_val(term));
|
|
+ } else {
|
|
+ err_handle(TYPE, 1, call_name, 2, "number", term);
|
|
+ return FALSE; /* fail */
|
|
+ }
|
|
}
|
|
}
|
|
new_list = makelist(hreg);
|