X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fseq.pure.lisp;h=fcba6c902e69c5195f7133e032877f2d610c495b;hb=f2db6743b1fadeea9e72cb583d857851c87efcd4;hp=a0897be555b2154d0723afda2c6ac02892551561;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git diff --git a/tests/seq.pure.lisp b/tests/seq.pure.lisp index a0897be..fcba6c9 100644 --- a/tests/seq.pure.lisp +++ b/tests/seq.pure.lisp @@ -169,7 +169,7 @@ (assert s2) (assert (string= s2 "zzzzz"))) -;;; POSITION on dispaced arrays with non-zero offset has been broken +;;; POSITION on displaced arrays with non-zero offset has been broken ;;; for quite a while... (let ((fn (compile nil '(lambda (x) (position x))))) (let* ((x #(1 2 3)) @@ -180,10 +180,28 @@ (let ((a (make-sequence '(simple-string) 5)) (b (concatenate '(simple-string) "a" "bdec")) (c (map '(simple-string) 'identity "abcde")) - (d (merge '(simple-string) "acd" "be" 'char>)) + (d (merge '(simple-string) (copy-seq "acd") (copy-seq "be") 'char>)) (e (coerce '(#\a #\b #\c #\e #\d) '(simple-string)))) (assert (= (length a) 5)) (assert (string= b "abdec")) (assert (string= c "abcde")) (assert (string= d "beacd")) (assert (string= e "abced"))) + +;;; COPY-SEQ "should be prepared to signal an error if sequence is not +;;; a proper sequence". +(locally (declare (optimize safety)) + (multiple-value-bind (seq err) (ignore-errors (copy-seq '(1 2 3 . 4))) + (assert (not seq)) + (assert (typep err 'type-error)))) + +;;; UBX-BASH-COPY transform had an inconsistent return type +(let ((sb-c::*check-consistency* t)) + (handler-bind ((warning #'error)) + (compile nil + '(lambda (l) + (declare (type fixnum l)) + (let* ((bsize 128) + (b1 (make-array bsize :element-type '(unsigned-byte 8))) + (b2 (make-array l :element-type '(unsigned-byte 8)))) + (replace b1 b2 :start2 0 :end2 l))))))