From: Paul F. D. <di...@dl...> - 2005-05-30 00:14:10
|
* (LET ((X (MAKE-ARRAY 3 :INITIAL-ELEMENT 0 :ELEMENT-TYPE '(INTEGER 0 2)))) (DECLARE (OPTIMIZE SAFETY)) (SETF (AREF X 0) 3) (AREF X 0)) 3 According to the page for TYPE: "Within the lexical scope of an array type declaration, all references to array elements are assumed to satisfy the expressed array element type (as opposed to the upgraded array element type). A compiler can treat the code within the scope of the array type declaration as if each access of an array element were surrounded by an appropriate THE form." Paul |