Custom Query (1030 matches)

There is typo in the manual regarding *record-source-file* variable, in the ​http://ccl.clozure.com/docs/ccl.html#source-notes this variable is referred as *record-source-file the right earmuff is missing.

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)))

The following test case fails:

(defconstant ZERO #C(0.0d0 0.0d0))
(defconstant ONE #C(1.0d0 0.0d0))

(defun bug ()
  (LET ((RESULT (MAKE-ARRAY 2 :ELEMENT-TYPE '(COMPLEX DOUBLE-FLOAT)
                              :INITIAL-ELEMENT ZERO)))
    (DECLARE (TYPE (SIMPLE-ARRAY (COMPLEX DOUBLE-FLOAT) (2)) RESULT))
    (SETF (AREF RESULT 0) ONE)
    (FORMAT T "~&Set 0th to 1: ~A~%" RESULT)
    (SETF (AREF RESULT 1) ONE)
    (FORMAT T "~&Set 1st to 1: ~A~%" RESULT)
    RESULT))

It looks like the second SETF isn't SETFing far enough into whatever underlying representing. I get

> (bug)
Set 0th to 1: #(#C(1.0D0 0.0D0) #C(0.0D0 0.0D0))
Set 1st to 0: #(#C(0.0D0 5.299808824D-315) #C(0.0D0 0.0D0))
#(#C(0.0D0 5.299808824D-315) #C(0.0D0 0.0D0))

which indicates the second SETF isn't getting far enough.