X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fseq.impure.lisp;h=4f41277fdc6a51158f21d32983f90a4e0546b061;hb=627c66211b93537e90c08b34b387edbd7e301011;hp=ef705266ebf4824b30eeb8d067dcf146ab08d23d;hpb=96b310113978665980a8d65ad5dd83deab05c28b;p=sbcl.git

diff --git a/tests/seq.impure.lisp b/tests/seq.impure.lisp
index ef70526..4f41277 100644
--- a/tests/seq.impure.lisp
+++ b/tests/seq.impure.lisp
@@ -207,5 +207,60 @@
 ;;; BUG 186, fixed in sbcl-0.7.5.5
 (assert (null (ignore-errors (test-fill-typecheck 4097))))
 
+;;; MAKE-SEQUENCE, COERCE, CONCATENATE, MERGE, MAP and requested
+;;; result type (BUGs 46a, 46b, 66)
+(macrolet ((assert-type-error (form)
+	     `(assert (typep (nth-value 1 (ignore-errors ,form)) 
+			     'type-error))))
+  (dolist (type-stub '((simple-vector) 
+		       (vector *) 
+		       (vector (signed-byte 8))
+		       (vector (unsigned-byte 16))
+		       (vector (signed-byte 32))
+		       (simple-bit-vector)))
+    (declare (optimize safety))
+    (format t "~&~S~%" type-stub)
+    ;; MAKE-SEQUENCE
+    (assert (= (length (make-sequence `(,@type-stub) 10)) 10))
+    (assert (= (length (make-sequence `(,@type-stub 10) 10)) 10))
+    (assert-type-error (make-sequence `(,@type-stub 10) 11))
+    ;; COERCE
+    (assert (= (length (coerce '(0 0 0) `(,@type-stub))) 3))
+    (assert (= (length (coerce #(0 0 0) `(,@type-stub 3))) 3))
+    (assert-type-error (coerce #*111 `(,@type-stub 4)))
+    ;; CONCATENATE
+    (assert (= (length (concatenate `(,@type-stub) #(0 0 0) #*111)) 6))
+    (assert (equalp (concatenate `(,@type-stub) #(0 0 0) #*111)
+		   (coerce #(0 0 0 1 1 1) `(,@type-stub))))
+    (assert (= (length (concatenate `(,@type-stub 6) #(0 0 0) #*111)) 6))
+    (assert (equalp (concatenate `(,@type-stub 6) #(0 0 0) #*111)
+		   (coerce #(0 0 0 1 1 1) `(,@type-stub 6))))
+    (assert-type-error (concatenate `(,@type-stub 5) #(0 0 0) #*111))
+    ;; MERGE
+    (assert (= (length (merge `(,@type-stub) #(0 1 0) #*111 #'>)) 6))
+    (assert (equalp (merge `(,@type-stub) #(0 1 0) #*111 #'>)
+		   (coerce #(1 1 1 0 1 0) `(,@type-stub))))
+    (assert (= (length (merge `(,@type-stub 6) #(0 1 0) #*111 #'>)) 6))
+    (assert (equalp (merge `(,@type-stub 6) #(0 1 0) #*111 #'>)
+		   (coerce #(1 1 1 0 1 0) `(,@type-stub 6))))
+    (assert-type-error (merge `(,@type-stub 4) #(0 1 0) #*111 #'>))
+    ;; MAP
+    (assert (= (length (map `(,@type-stub) #'logxor #(0 0 1 1) '(0 1 0 1))) 4))
+    (assert (equalp (map `(,@type-stub) #'logxor #(0 0 1 1) '(0 1 0 1))
+		   (coerce #(0 1 1 0) `(,@type-stub))))
+    (assert (= (length (map `(,@type-stub 4) #'logxor #(0 0 1 1) '(0 1 0 1))) 
+	       4))
+    (assert (equalp (map `(,@type-stub 4) #'logxor #(0 0 1 1) '(0 1 0 1))
+		   (coerce #(0 1 1 0) `(,@type-stub 4))))
+    (assert-type-error (map `(,@type-stub 5) #'logxor #(0 0 1 1) '(0 1 0 1))))
+  ;; some more CONCATENATE tests for strings
+  (locally 
+      (declare (optimize safety))
+    (assert (string= (concatenate 'string "foo" " " "bar") "foo bar"))
+    (assert (string= (concatenate '(string 7) "foo" " " "bar") "foo bar"))
+    (assert-type-error (concatenate '(string 6) "foo" " " "bar"))
+    (assert (string= (concatenate '(string 6) "foo" #(#\b #\a #\r)) "foobar"))
+    (assert-type-error (concatenate '(string 7) "foo" #(#\b #\a #\r)))))
+
 ;;; success
 (quit :unix-status 104)