X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fseq.impure.lisp;h=c75e9522b7a81baa494c819de162dd9983ec2109;hb=19b57ee6640261133a179417c814ca38039e1ab1;hp=7ab6163253a77cfdc4988302b97f1eb8d1e9ac11;hpb=41de6817aef4ccf69b0780969ad79e232c3a798c;p=sbcl.git

diff --git a/tests/seq.impure.lisp b/tests/seq.impure.lisp
index 7ab6163..c75e952 100644
--- a/tests/seq.impure.lisp
+++ b/tests/seq.impure.lisp
@@ -94,6 +94,15 @@
 (defun indiscriminate (fun)
   (lambda (&rest rest) (apply fun rest)))
   
+;;; asymmetric test arg order example from ANSI FIND definition page
+(assert (eql #\space ; original example, depends on ASCII character ordering
+	     (find #\d "here are some letters that can be looked at"
+		   :test #'char>)))
+(assert (eql #\e ; modified example, depends only on standard a-z ordering
+	     (find #\f "herearesomeletters" :test #'char>)))
+(assert (eql 4 ; modified more, avoids charset technicalities completely
+	     (find 5 '(6 4) :test '>)))
+
 ;;; tests of FIND, POSITION, FIND-IF, and POSITION-IF (and a few for
 ;;; deprecated FIND-IF-NOT and POSITION-IF-NOT too)
 (for-every-seq #()
@@ -109,6 +118,9 @@
     (null (position-if-not #'packagep seq :key nil))))
 (for-every-seq #(1)
   '((null (find 2 seq))
+    ;; Get the argument ordering for asymmetric tests like #'> right.
+    ;; (bug reported and fixed by Alexey Dejneka sbcl-devel 2001-10-17)
+    (eql 1 (find 2 seq :test #'>))
     (find 2 seq :key #'1+)
     (find 1 seq :from-end t)
     (null (find 1 seq :from-end t :start 1))
@@ -122,6 +134,7 @@
 (for-every-seq #(1 2 3 2 1)
   '((find 3 seq)
     (find 3 seq :from-end 'yes)
+    (eql 1 (position 1.5 seq :test #'<))
     (eql 0 (position 0 seq :key '1-))
     (eql 4 (position 0 seq :key '1- :from-end t))
     (eql 2 (position 4 seq :key '1+))
@@ -159,8 +172,40 @@
     (eql 5 (position-if (lambda (c) (equal #\g c)) seq))
     (eql 5 (position-if (lambda (c) (equal #\g c)) seq :from-end t))
     (find-if #'characterp seq)
-    (find-if #'(lambda (c) (typep c 'base-char)) seq :from-end t)
+    (find-if (lambda (c) (typep c 'base-char)) seq :from-end t)
     (null (find-if 'upper-case-p seq))))
 	 
+;;; SUBSEQ
+(let ((avec (make-array 10
+			:fill-pointer 4
+			:initial-contents '(0 1 2 3 iv v vi vii iix ix))))
+  ;; These first five always worked AFAIK.
+  (assert (equalp (subseq avec 0 3) #(0 1 2)))
+  (assert (equalp (subseq avec 3 3) #()))
+  (assert (equalp (subseq avec 1 3) #(1 2)))
+  (assert (equalp (subseq avec 1) #(1 2 3)))
+  (assert (equalp (subseq avec 1 4) #(1 2 3)))
+  ;; SBCL bug found ca. 2002-05-01 by OpenMCL's correct handling of
+  ;; SUBSEQ, CSR's driving portable cross-compilation far enough to
+  ;; reach the SUBSEQ calls in assem.lisp, and WHN's sleazy
+  ;; translation of old CMU CL new-assem.lisp into sufficiently grotty
+  ;; portable Lisp that it passed suitable illegal values to SUBSEQ to
+  ;; exercise the bug:-|
+  ;;
+  ;; SUBSEQ should check its END value against logical LENGTH, not
+  ;; physical ARRAY-DIMENSION 0.
+  ;;
+  ;; fixed in sbcl-0.7.4.22 by WHN
+  (assert (null (ignore-errors (subseq avec 1 5)))))
+
+;;; FILL
+(defun test-fill-typecheck (x)
+  (declare (optimize (safety 3) (space 2) (speed 1)))
+  (fill (make-string 10) x))
+
+(assert (string= (test-fill-typecheck #\@) "@@@@@@@@@@"))
+;;; BUG 186, fixed in sbcl-0.7.5.5
+(assert (null (ignore-errors (test-fill-typecheck 4097))))
+
 ;;; success
 (quit :unix-status 104)