0.7.7.40:

[sbcl.git] / tests / seq.impure.lisp

diff --git a/tests/seq.impure.lisp b/tests/seq.impure.lisp
index 7ab6163..ef70526 100644 (file)
--- 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 (aref (subseq avec 1 5) 0)))))
+
+;;; 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)