Custom Query (1030 matches)

in several cases , there seems to be a missing #\space before a numeric option, as in:

-Z n (or --thread-stack-sizen). 

[From Gilbert Baumann]

I found a bug with coercion of RATIOs to SINGLE-FLOATs, like:

(coerce (- (/ (1+ (expt 2 278)) (expt 2 265))) 'short-float) => 8192.0

Which has the wrong sign. This only happens with the 64 bit version and not with the 32 bit version. I consider that a pretty serious bug.

Here is the patch, it fixes %SHORT-FLOAT-RATIO.

*** l0-float.lisp	Sat Sep 24 00:12:44 2016
--- l0-float-fixed.lisp	Sat Sep 24 00:13:43 2016
***************
*** 528,534 ****
                 (make-short-float-from-fixnums 
                    (ldb (byte IEEE-single-float-digits  (- intlen  IEEE-single-float-digits)) int)
                    new-exp
!                    (if minusp 1 0)))
               ; den > num - exp negative
               (progn  
                 (float-rat-neg-exp num den (if minusp -1 1) nil t)))))))))
--- 528,534 ----
                 (make-short-float-from-fixnums 
                    (ldb (byte IEEE-single-float-digits  (- intlen  IEEE-single-float-digits)) int)
                    new-exp
!                    (if minusp -1 1)))
               ; den > num - exp negative
               (progn  
                 (float-rat-neg-exp num den (if minusp -1 1) nil t)))))))))

It looks to be that arrays of complex double-floats evaluated at readtime aren't being stashed away in the fasl correctly.

Test case:

(defvar *test* nil)

(eval-when (:compile-toplevel :load-toplevel :execute)
  (defun v (&rest args)
    (let ((a (make-array (length args) :element-type '(complex double-float)
                                       :initial-element #C(0.0d0 0.0d0))))
      (loop :for i :from 0
            :for x :in args
            :do (setf (aref a i) (coerce x '(complex double-float)))
            :finally (return a)))))

(defmacro define-foo (name m)
  `(setf (getf *test* ',name) ,m))

(define-foo a (v 1 2 3))

(define-foo b '#.(v 1 2 3))

Output:

CL-USER> (load (compile-file "test.lisp"))
#P"test.dx64fsl"
CL-USER> *test*
(B #(#C(0.0D0 0.0D0) #C(0.0D0 0.0D0) #C(0.0D0 0.0D0))
 A #(#C(1.0D0 0.0D0) #C(2.0D0 0.0D0) #C(3.0D0 0.0D0)))