[armedbear-cvs] r14062 - trunk/abcl/src/org/armedbear/lisp

[rschlatte at common-lisp.net]

Author: rschlatte
Date: Mon Aug  6 12:02:32 2012
New Revision: 14062

Log:
Robustify readably-printed NaNs in the spirit of #14061

Modified:
   trunk/abcl/src/org/armedbear/lisp/DoubleFloat.java
   trunk/abcl/src/org/armedbear/lisp/SingleFloat.java

Modified: trunk/abcl/src/org/armedbear/lisp/DoubleFloat.java
==============================================================================
--- trunk/abcl/src/org/armedbear/lisp/DoubleFloat.java	Mon Aug  6 00:45:59 2012	(r14061)
+++ trunk/abcl/src/org/armedbear/lisp/DoubleFloat.java	Mon Aug  6 12:02:32 2012	(r14062)
@@ -590,7 +590,7 @@
 
         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);
         }

Modified: trunk/abcl/src/org/armedbear/lisp/SingleFloat.java
==============================================================================
--- trunk/abcl/src/org/armedbear/lisp/SingleFloat.java	Mon Aug  6 00:45:59 2012	(r14061)
+++ trunk/abcl/src/org/armedbear/lisp/SingleFloat.java	Mon Aug  6 12:02:32 2012	(r14062)
@@ -579,7 +579,7 @@
 
         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);
         }