X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fpred.lisp;h=417b1c0a3d2ee77c761df57492df587311fc4fbe;hb=65b5ab7e713d04e0d76bc0ee196374f6e57b922f;hp=346e388e4a3bda4ae25c71b9890e7f7a69b7bce0;hpb=877c7683fc42a2350a6a422433a1a9be02fe3c4f;p=sbcl.git

diff --git a/src/code/pred.lisp b/src/code/pred.lisp
index 346e388..417b1c0 100644
--- a/src/code/pred.lisp
+++ b/src/code/pred.lisp
@@ -17,12 +17,18 @@
 (defun streamp (stream)
   (typep stream 'stream))
 
-;;; Is X a (VECTOR T)?
-(defun vector-t-p (x)
-  (or (simple-vector-p x)
-      (and (complex-vector-p x)
-           (do ((data (%array-data-vector x) (%array-data-vector data)))
-               ((not (array-header-p data)) (simple-vector-p data))))))
+;;; various (VECTOR FOO) type predicates, not implemented as simple
+;;; widetag tests
+(macrolet
+    ((def ()
+       `(progn
+          ,@(loop for (name spec) in *vector-without-complex-typecode-infos*
+                  collect `(defun ,name (x)
+                             (or (typep x '(simple-array ,spec (*)))
+                                 (and (complex-vector-p x)
+                                      (do ((data (%array-data-vector x) (%array-data-vector data)))
+                                          ((not (array-header-p data)) (typep data '(simple-array ,spec (*))))))))))))
+  (def))
 
 ;;; Is X an extended sequence?
 (defun extended-sequence-p (x)