X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fpred.lisp;h=b71a7be64bbb9d03c1c488412ce1208e0332168d;hb=a74b0bdb483504f6faddf8089f848f61ed94b92a;hp=1acb8741fdb2c458759b3117bb81ae5268c76c0c;hpb=0aafa73007d42f2bc8e626f98a243019b7e63284;p=sbcl.git diff --git a/src/code/pred.lisp b/src/code/pred.lisp index 1acb874..b71a7be 100644 --- a/src/code/pred.lisp +++ b/src/code/pred.lisp @@ -127,16 +127,6 @@ (class-proper-name class))) name)))) -;;; FIXME: This belongs somewhere else, perhaps in code/array.lisp. -(defun upgraded-array-element-type (spec) - #!+sb-doc - "Return the element type that will actually be used to implement an array - with the specifier :ELEMENT-TYPE Spec." - (if (unknown-type-p (specifier-type spec)) - (error "undefined type: ~S" spec) - (type-specifier (array-type-specialized-element-type - (specifier-type `(array ,spec)))))) - ;;;; equality predicates ;;; This is real simple, 'cause the compiler takes care of it. @@ -147,7 +137,7 @@ (defun equal (x y) #!+sb-doc - "Returns T if X and Y are EQL or if they are structured components + "Return T if X and Y are EQL or if they are structured components whose elements are EQUAL. Strings and bit-vectors are EQUAL if they are the same length and have identical components. Other arrays must be EQ to be EQUAL." @@ -192,7 +182,7 @@ (defun equalp (x y) #+nil ; KLUDGE: If doc string, should be accurate: Talk about structures ; and HASH-TABLEs. - "Just like EQUAL, but more liberal in several respects. + "This is like EQUAL, except more liberal in several respects. Numbers may be of different types, as long as the values are identical after coercion. Characters may differ in alphabetic case. Vectors and arrays must have identical dimensions and EQUALP elements, but may differ