X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fseq.lisp;h=ed14624f1a9e53a99eb22ba42844cc13836fab28;hb=2c6b90e36a7c0377cd79625eb6c94d580f98cb93;hp=4292c350c8c08f06b44b73f72629c52a8b62f2c3;hpb=68c539ab90bb39f342229e68bf9286f63824597a;p=sbcl.git

diff --git a/src/code/seq.lisp b/src/code/seq.lisp
index 4292c35..ed14624 100644
--- a/src/code/seq.lisp
+++ b/src/code/seq.lisp
@@ -81,7 +81,7 @@
 		  :datum type
 		  :expected-type '(or vector cons)
 		  :format-control
-		  "NIL output type invalid for this sequence function."
+		  "A NIL output type is invalid for this sequence function."
 		  :format-arguments ())))
       ((dolist (seq-type '(list string simple-vector bit-vector))
 	 (when (csubtypep type (specifier-type seq-type))
@@ -155,15 +155,15 @@
      (setf (aref sequence index) newval))))
 
 (defun length (sequence)
-  #!+sb-doc "Returns an integer that is the length of SEQUENCE."
+  #!+sb-doc "Return an integer that is the length of SEQUENCE."
   (etypecase sequence
     (vector (length (truly-the vector sequence)))
     (list (length (truly-the list sequence)))))
 
 (defun make-sequence (type length &key (initial-element NIL iep))
   #!+sb-doc
-  "Returns a sequence of the given Type and Length, with elements initialized
-  to :Initial-Element."
+  "Return a sequence of the given TYPE and LENGTH, with elements initialized
+  to :INITIAL-ELEMENT."
   (declare (fixnum length))
   (let ((type (specifier-type type)))
     (cond ((csubtypep type (specifier-type 'list))
@@ -186,11 +186,12 @@
 		     (vlen (car (array-type-dimensions type))))
 		 (if (and (numberp vlen) (/= vlen length))
 		   (error 'simple-type-error
-			  ;; these two are under-specified by ANSI
+			  ;; These two are under-specified by ANSI.
 			  :datum (type-specifier type)
 			  :expected-type (type-specifier type)
 			  :format-control
-			  "The length of ~S does not match the specified length  of ~S."
+			  "The length of ~S does not match the specified ~
+                           length=~S."
 			  :format-arguments
 			  (list (type-specifier type) length)))
 		 (if iep
@@ -606,8 +607,7 @@
 		    bit-vector simple-bit-vector base-string
 		    simple-base-string) ; FIXME: unifying principle here?
      (let ((result (apply #'concat-to-simple* output-type-spec sequences)))
-       #!+high-security
-       (check-type-var result output-type-spec)
+       #!+high-security (aver (typep result output-type-spec))
        result))
     (list (apply #'concat-to-list* sequences))
     (t
@@ -1952,7 +1952,7 @@
 
 ) ; EVAL-WHEN
 
-;;; POSITION
+;;;; POSITION
 
 (eval-when (:compile-toplevel :execute)
 
@@ -2298,14 +2298,14 @@
 (defun mismatch (sequence1 sequence2 &key from-end (test #'eql) test-not
 			   (start1 0) end1 (start2 0) end2 key)
   #!+sb-doc
-  "The specified subsequences of Sequence1 and Sequence2 are compared
+  "The specified subsequences of SEQUENCE1 and SEQUENCE2 are compared
    element-wise. If they are of equal length and match in every element, the
    result is Nil. Otherwise, the result is a non-negative integer, the index
-   within Sequence1 of the leftmost position at which they fail to match; or,
+   within SEQUENCE1 of the leftmost position at which they fail to match; or,
    if one is shorter than and a matching prefix of the other, the index within
-   Sequence1 beyond the last position tested is returned. If a non-Nil
-   :From-End keyword argument is given, then one plus the index of the
-   rightmost position in which the sequences differ is returned."
+   SEQUENCE1 beyond the last position tested is returned. If a non-NIL
+   :FROM-END argument is given, then one plus the index of the rightmost
+   position in which the sequences differ is returned."
   (declare (fixnum start1 start2))
   (let* ((length1 (length sequence1))
 	 (end1 (or end1 length1))