Changeset 14062

Timestamp:

08/06/12 19:02:32 (9 years ago)

Author:

rschlatte

Message:

Robustify readably-printed NaNs? in the spirit of #14061

Location:

trunk/abcl/src/org/armedbear/lisp

Files:

• DoubleFloat.java (modified) (1 diff)
• SingleFloat.java (modified) (1 diff)

trunk/abcl/src/org/armedbear/lisp/DoubleFloat.java

@@ -591 +591 @@
         if (value != value) {
             if (printReadably)
-                return "#.(progn \"Comment: create a NaN.\" (/ 0.0d0 0.0d0))";
+                return "#.(CL:PROGN \"Comment: create a NaN.\" (CL:/ 0.0d0 0.0d0))";
             else
                 return unreadableString("DOUBLE-FLOAT NaN", false);

trunk/abcl/src/org/armedbear/lisp/SingleFloat.java

@@ -580 +580 @@
         if (value != value) {
             if (printReadably)
-                return "#.(progn \"Comment: create a NaN.\" (/ 0.0s0 0.0s0))";
+                return "#.(CL:PROGN \"Comment: create a NaN.\" (CL:/ 0.0s0 0.0s0))";
             else
                 return unreadableString("SINGLE-FLOAT NaN", false);