Forked from
cmucl / cmucl
Source project has a limited visibility.
-
rtoy authored
(defun foo (f d) (declare (type (simple-array single-float (*)) f) (type (simple-array double-float (*)) d)) (setf (aref f 0) (aref d 0))) doesn't produce any warnings and generates completely bogus code. Don't know what the real answer solution is, but turning off the assert-continuation-type for a single-use continuation fixes this, which is what 18a used to do. There are probably other bugs that this hides.
rtoy authored(defun foo (f d) (declare (type (simple-array single-float (*)) f) (type (simple-array double-float (*)) d)) (setf (aref f 0) (aref d 0))) doesn't produce any warnings and generates completely bogus code. Don't know what the real answer solution is, but turning off the assert-continuation-type for a single-use continuation fixes this, which is what 18a used to do. There are probably other bugs that this hides.