X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Farray-tran.lisp;h=98d26dbf6ce3817dabb622aef4e790398fe9db85;hb=fa8962d732057015fbb9a2f8a08ea8d5299b50dd;hp=4cb72ca5fb37c160e9e1d037e5781cb1faf9c220;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/src/compiler/array-tran.lisp b/src/compiler/array-tran.lisp index 4cb72ca..98d26db 100644 --- a/src/compiler/array-tran.lisp +++ b/src/compiler/array-tran.lisp @@ -10,9 +10,6 @@ ;;;; files for more information. (in-package "SB!C") - -(file-comment - "$Header$") ;;;; Derive-Type Optimizers @@ -82,8 +79,8 @@ (defoptimizer (hairy-data-vector-set derive-type) ((array index new-value)) (assert-new-value-type new-value array)) -;;; Figure out the type of the data vector if we know the argument element -;;; type. +;;; Figure out the type of the data vector if we know the argument +;;; element type. (defoptimizer (%with-array-data derive-type) ((array start end)) (let ((atype (continuation-type array))) (when (array-type-p atype) @@ -412,7 +409,7 @@ ((:maybe) (give-up-ir1-transform "The array type is ambiguous; must call ~ - array-has-fill-pointer-p at runtime."))))))) + ARRAY-HAS-FILL-POINTER-P at runtime."))))))) ;;; Primitive used to verify indices into arrays. If we can tell at ;;; compile-time or we are generating unsafe code, don't bother with