X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Fgeneric%2Fvm-typetran.lisp;h=b6c60055ecb59c34d6f522dac46a18cfe11a2b9f;hb=2db3b6b4cb740d5b6512459c223859f747807b09;hp=1f75a0ee3a663f6e2e02a02da3b0bc46f24b7f21;hpb=6f1507bc47503d08288c72426b4e42011d909725;p=sbcl.git diff --git a/src/compiler/generic/vm-typetran.lisp b/src/compiler/generic/vm-typetran.lisp index 1f75a0e..b6c6005 100644 --- a/src/compiler/generic/vm-typetran.lisp +++ b/src/compiler/generic/vm-typetran.lisp @@ -33,6 +33,7 @@ (define-type-predicate short-float-p short-float) (define-type-predicate single-float-p single-float) (define-type-predicate simple-array-p simple-array) +(define-type-predicate simple-array-nil-p (simple-array nil (*))) (define-type-predicate simple-array-unsigned-byte-2-p (simple-array (unsigned-byte 2) (*))) (define-type-predicate simple-array-unsigned-byte-4-p