X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure-cload.lisp;h=3a20ebdf46b0d0e152db92d2c95e9b8ccf586342;hb=19319c931fc1636835dbef71808cc10e252bcf45;hp=313681335c84a089cb2626fd91941e214cd8ba7c;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git

diff --git a/tests/compiler.pure-cload.lisp b/tests/compiler.pure-cload.lisp
index 3136813..3a20ebd 100644
--- a/tests/compiler.pure-cload.lisp
+++ b/tests/compiler.pure-cload.lisp
@@ -162,3 +162,20 @@
 ;;; MAYBE-INFER-ITERATION-VAR-TYPE did not deal with types (REAL * (n)).
 (let ((s (loop for x from (- pi) below (floor (* 2 pi)) by (/ pi 75) count t)))
   (assert (= s 219)))
+
+(with-test (:name :specialized-array-dumping)
+  (macrolet
+      ((make-tests ()
+         `(progn
+            ,@(loop for saetp across
+                    sb-vm:*specialized-array-element-type-properties*
+                    for specifier = (sb-vm:saetp-specifier saetp)
+                    for array = (make-array (if specifier 10 0)
+                                            :element-type specifier)
+                    for make-array = `(make-array ,(if specifier 10 0)
+                                                  :element-type ',specifier)
+                    collect `(assert (and (equal (type-of ,array)
+                                                 ',(type-of array))
+                                          (equalp ,array
+                                                  ,make-array)))))))
+    (make-tests)))