X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fstring.pure.lisp;h=1b659fdc22b4e7ca6e6ecf5d6602121fd4c0c127;hb=8987be18e94b9ef8ba393f05d1157587528810b3;hp=5d7fd11480ecbac7ff53f7845e657f0997517a58;hpb=e7c0037516c1a23f4bb48a99bfb5fa5d1781b8b1;p=sbcl.git

diff --git a/tests/string.pure.lisp b/tests/string.pure.lisp
index 5d7fd11..1b659fd 100644
--- a/tests/string.pure.lisp
+++ b/tests/string.pure.lisp
@@ -45,3 +45,45 @@
   (assert (string= nstring "CaT"))
   (nstring-capitalize nstring)
   (assert (string= nstring "Cat")))
+
+;;; (VECTOR NIL)s are strings.  Tests for that and issues uncovered in
+;;; the process.
+(assert (typep (make-array 1 :element-type nil) 'string))
+(assert (not (typep (make-array 2 :element-type nil) 'base-string)))
+(assert (typep (make-string 3 :element-type nil) 'simple-string))
+(assert (not (typep (make-string 4 :element-type nil) 'simple-base-string)))
+
+(assert (subtypep (class-of (make-array 1 :element-type nil))
+		  (find-class 'string)))
+(assert (subtypep (class-of (make-array 2 :element-type nil :fill-pointer 1))
+		  (find-class 'string)))
+
+(assert (string= "" (make-array 0 :element-type nil)))
+(assert (string/= "a" (make-array 0 :element-type nil)))
+(assert (string= "" (make-array 5 :element-type nil :fill-pointer 0)))
+
+(assert (= (sxhash "")
+	   (sxhash (make-array 0 :element-type nil))
+	   (sxhash (make-array 5 :element-type nil :fill-pointer 0))
+	   (sxhash (make-string 0 :element-type nil))))
+(assert (subtypep (type-of (make-array 2 :element-type nil)) 'simple-string))
+(assert (subtypep (type-of (make-array 4 :element-type nil :fill-pointer t))
+		  'string))
+
+(assert (eq (intern "") (intern (make-array 0 :element-type nil))))
+(assert (eq (intern "")
+	    (intern (make-array 5 :element-type nil :fill-pointer 0))))
+
+(assert (raises-error? (make-string 5 :element-type t)))
+(assert (raises-error? (let () (make-string 5 :element-type t))))
+
+;; MISC.574
+(assert (= (funcall (lambda (a)
+		      (declare (optimize (speed 3) (safety 1)
+					 (debug 1) (space 2))
+			       (fixnum a))
+		      (string<= (coerce "e99mo7yAJ6oU4" 'base-string)
+				(coerce "aaABAAbaa" 'base-string)
+				:start1 a))
+		    9)
+	   9))