Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • rtoy's avatar
    b6353a20
    Lynn Quam on cmucl-imp on 2004-03-30 says · b6353a20
    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.
    b6353a20
    History
    Lynn Quam on cmucl-imp on 2004-03-30 says
    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.