X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Farray.lisp;h=10f81e883ae23d96808f8f03de745428f6c207ca;hb=4ecf0abf29f8a8cb2a59c67e192e1f83efaa31f7;hp=360514d03121d7a4e3cc46aafcf7e7e1e9696fe1;hpb=ad1aa2961d81ed8db9dac59068c6861199c29a3a;p=sbcl.git

diff --git a/src/code/array.lisp b/src/code/array.lisp
index 360514d..10f81e8 100644
--- a/src/code/array.lisp
+++ b/src/code/array.lisp
@@ -333,6 +333,12 @@
 						index))))
 			 *specialized-array-element-types*))))
 
+;;; (Ordinary DATA-VECTOR-REF usage compiles into a vop, but
+;;; DATA-VECTOR-REF is also FOLDABLE, and this ordinary function
+;;; definition is needed for the compiler to use in constant folding.)
+(defun data-vector-ref (array index)
+  (hairy-data-vector-ref array index))
+
 (defun hairy-data-vector-set (array index new-value)
   (with-array-data ((vector array) (index index) (end))
     (declare (ignore end))
@@ -372,15 +378,26 @@
 	    (declare (fixnum index dim))
 	    (unless (< -1 index dim)
 	      (if invalid-index-error-p
-		  (error "invalid index ~W~[~;~:; on axis ~:*~W~] in ~S"
-			 index axis array)
+		  (error 'simple-type-error
+			 :format-control "invalid index ~W~[~;~:; on axis ~:*~W~] in ~S"
+			 :format-arguments (list index axis array)
+			 :datum index
+			 :expected-type `(integer 0 (,dim)))
 		  (return-from %array-row-major-index nil)))
 	    (incf result (* chunk-size index))
 	    (setf chunk-size (* chunk-size dim))))
-	(let ((index (first subscripts)))
-	  (unless (< -1 index (length (the (simple-array * (*)) array)))
+	(let ((index (first subscripts))
+	      (length (length (the (simple-array * (*)) array))))
+	  (unless (< -1 index length)
 	    (if invalid-index-error-p
-		(error "invalid index ~W in ~S" index array)
+		;; FIXME: perhaps this should share a format-string
+		;; with INVALID-ARRAY-INDEX-ERROR or
+		;; INDEX-TOO-LARGE-ERROR?
+		(error 'simple-type-error
+		       :format-control "invalid index ~W in ~S"
+		       :format-arguments (list index array)
+		       :datum index
+		       :expected-type `(integer 0 (,length)))
 		(return-from %array-row-major-index nil)))
 	  index))))