Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv27450/tests

Modified Files:
	seq.pure.lisp 
Log Message:
1.0.14.40: make deftransforms for UB<N>-BASH-COPY have consistent return type

 * Make REPLACE *CHECK-CONSISTENCY* happy: the transforms used to have
   return type (VALUES NULL &OPTIONAL), whereas the out-of-line
   definitions had return type (VALUES &OPTIONAL).


Index: seq.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/seq.pure.lisp,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -d -r1.14 -r1.15
--- seq.pure.lisp	1 Dec 2007 18:57:59 -0000	1.14
+++ seq.pure.lisp	22 Feb 2008 16:54:48 -0000	1.15
@@ -194,3 +194,14 @@
   (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))))))