1.0.3.39: larger heap size for x86-64/darwin
[sbcl.git] / tests / list.pure.lisp
index 3a2894c..ce4ec85 100644 (file)
@@ -6,7 +6,7 @@
 ;;;; While most of SBCL is derived from the CMU CL system, the test
 ;;;; files (like this one) were written from scratch after the fork
 ;;;; from CMU CL.
-;;;; 
+;;;;
 ;;;; This software is in the public domain and is provided with
 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
 ;;;; more information.
 ;;; looks as though it's past time to start accumulating regression
 ;;; tests for these.
 (dolist (testcase
-        '((:args ((1 2 3 4 5))   :result (1 2 3 4))
-          (:args ((1 2 3 4 5) 6) :result nil)
-          (:args (nil)           :result nil)
-          (:args ((1 2 3) 0)     :result (1 2 3))
-          (:args ((1 2 3) 1)     :result (1 2))
-          (:args ((1 2 3))       :result (1 2))
-          (:args ((1 2 3) 2)     :result (1))
-          (:args ((1 2 3) 3)     :result nil)
-          (:args ((1 2 3) 4)     :result nil)
-          (:args ((1 2 3 . 4) 0) :result (1 2 3 . 4))
-          (:args ((1 2 3 . 4) 1) :result (1 2))
-          (:args ((1 2 3 . 4))   :result (1 2))
-          (:args ((1 2 3 . 4) 2) :result (1))
-          (:args ((1 2 3 . 4) 3) :result nil)
-          (:args ((1 2 3 . 4) 4) :result nil)))
+         '((:args ((1 2 3 4 5))   :result (1 2 3 4))
+           (:args ((1 2 3 4 5) 6) :result nil)
+           (:args (nil)           :result nil)
+           (:args ((1 2 3) 0)     :result (1 2 3))
+           (:args ((1 2 3) 1)     :result (1 2))
+           (:args ((1 2 3))       :result (1 2))
+           (:args ((1 2 3) 2)     :result (1))
+           (:args ((1 2 3) 3)     :result nil)
+           (:args ((1 2 3) 4)     :result nil)
+           (:args ((1 2 3 . 4) 0) :result (1 2 3 . 4))
+           (:args ((1 2 3 . 4) 1) :result (1 2))
+           (:args ((1 2 3 . 4))   :result (1 2))
+           (:args ((1 2 3 . 4) 2) :result (1))
+           (:args ((1 2 3 . 4) 3) :result nil)
+           (:args ((1 2 3 . 4) 4) :result nil)))
   (destructuring-bind (&key args result) testcase
     (destructuring-bind (list &rest rest) args
       ;; Test with BUTLAST.
       (let ((actual-result (apply #'butlast args)))
-       (when (and (consp list) (eq actual-result list))
-         (error "not a copy in BUTLAST for ~S" args))
-       (unless (equal actual-result result)
-         (error "failed BUTLAST for ~S" args)))
+        (when (and (consp list) (eq actual-result list))
+          (error "not a copy in BUTLAST for ~S" args))
+        (unless (equal actual-result result)
+          (error "failed BUTLAST for ~S" args)))
       ;; Test with NBUTLAST.
       (let* ((copied-list (copy-list list))
-            (actual-result (apply #'nbutlast copied-list rest)))
-       (unless (equal actual-result result)
-         (error "failed NBUTLAST for ~S" args))))))
+             (actual-result (apply #'nbutlast copied-list rest)))
+        (unless (equal actual-result result)
+          (error "failed NBUTLAST for ~S" args))))))
 
 (multiple-value-bind (result error)
     (ignore-errors (apply #'butlast (list t)))
@@ -81,7 +81,7 @@
   (loop for (args result) in tests
      do (assert (equal (apply 'nconc (copy-tree args)) result))
      do (let ((exp `(nconc ,@ (mapcar (lambda (arg)
-                                        `',(copy-tree arg))
+                                        `(copy-tree ',arg))
                                       args))))
           (assert (equal (funcall (compile nil `(lambda () ,exp))) result)))))
 
@@ -97,7 +97,7 @@
     (loop for (args fail) in tests
        do (check-error (apply #'nconc (copy-tree args)) fail)
        do (let ((exp `(nconc ,@ (mapcar (lambda (arg)
-                                          `',(copy-tree arg))
+                                          `(copy-tree ',arg))
                                         args))))
             (check-error (funcall (compile nil `(lambda () ,exp))) fail)))))
 
                 (reverse (1 2 . 3))
                 (nreverse (1 2 . 3))
                 (nreconc (1 2 . 3) (4 5))
-               (copy-alist ((1 . 2) (3 . 4) . 5))))
+                (copy-alist ((1 . 2) (3 . 4) . 5))))
   (assert (raises-error? (apply (first test) (copy-tree (rest test)))
-                        type-error)))
+                         type-error)))
 
 ;;; Bug reported by Paul Dietz: NSET-EXCLUSIVE-OR should not return
 ;;; extra elements, even when given "sets" contain duplications
   (assert (eq (nth (* 1440 most-positive-fixnum) s) 'c))
   (setf (nth (* 1440 most-positive-fixnum) s) 14)
   (assert (eq (nth (* 1440 most-positive-fixnum) s) 14)))
+
+(let ((s (copy-list '(1 2 3))))
+  (assert (eq s (last s (* 1440 most-positive-fixnum))))
+  (assert (null (butlast s (* 1440 most-positive-fixnum))))
+  (assert (null (nbutlast s (* 1440 most-positive-fixnum)))))
+
+;;; Bug reported by Paul Dietz: ASSOC should ignore NIL elements in a
+;;; alist
+(let ((f (compile nil '(lambda (x)
+                        (assoc x '(nil (a . b) nil (nil . c) (c . d))
+                         :test #'eq)))))
+  (assert (equal (funcall f 'nil) '(nil . c))))