Changeset efbf11a6f5cd7e15f51cdb52fefd1584ab58c3d9

Timestamp:

03/23/12 09:47:16 (14 months ago)

Author:

Raymond Toy <rtoy@…>

Children:

321ced44416bc5141b5306bc18f440eb179c4327

Parents:

bc851c79e6fffe06c4383142bc2dfeb154fbde14

git-committer:

Raymond Toy <rtoy@…> (03/23/12 09:47:16)

Message:

Fix bug in FLOAT: second arg is optional! Add FLOAT-NAN-P method.

qd-methods.lisp:
* Second arg to FLOAT is optional.
* Add FLOAT-NAN-P.

qd-package.lisp:
* Need to shadow EXT:FLOAT-NAN-P on cmucl.

Files:

• qd-methods.lisp (modified) (2 diffs)
• qd-package.lisp (modified) (1 diff)

qd-methods.lisp

@@ -289 +289 @@
 
 (declaim (inline float))
-(defun float (x num-type)
-  (qfloat x num-type))
+(defun float (x &optional num-type)
+  (qfloat x (or num-type 0.0)))
 
 (defmethod qrealpart ((x number))
@@ -1112 +1112 @@
   +pi+)
 
+(defmethod float-nan-p ((x cl:float))
+  ;; CMUCL has ext:float-nan-p.  Should we use that instead?
+  (not (= x x)))
+
+(defmethod float-nan-p ((x qd-real))
+  (float-nan-p (qd-parts (qd-value x))))
+
 
 (define-condition domain-error (simple-error)

qd-package.lisp

@@ -212 +212 @@
            #:rationalize
            )
+  #+cmu
+  (:shadow ext:float-nan-p)
   ;; Export types
   (:export #:qd-real