* It's :EXPECTED-TYPE, not :TYPE. ...having compiler check calls to ERROR like
this would be nice.
* Marginally better test to catch this.
:array array
:axis axis
:datum index
- :type `(integer 0 (,bound))))
+ :expected-type `(integer 0 (,bound))))
;;; SUBSCRIPTS has a dynamic-extent list structure and is destroyed
(defun %array-row-major-index (array subscripts
(eval `(aref ,array 0 1 3))
(sb-int:invalid-array-index-error (e)
(when (and (eq array (sb-kernel::invalid-array-index-error-array e))
- (= 3 (type-error-datum e)))
+ (= 3 (type-error-datum e))
+ (equal '(integer 0 (3)) (type-error-expected-type e)))
:right)))))))
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.24.43"
+"1.0.24.44"