[Sbcl-commits] CVS: sbcl/tests list.pure.lisp,1.1,1.2

[Alexey D. <ade...@us...>]

Update of /cvsroot/sbcl/sbcl/tests
In directory usw-pr-cvs1:/tmp/cvs-serv31823/tests

Modified Files:
	list.pure.lisp 
Log Message:
0.7.8.41:
        Proclaimed function type is checked in the XEP.


Index: list.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/list.pure.lisp,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- list.pure.lisp	5 Oct 2001 20:02:25 -0000	1.1
+++ list.pure.lisp	17 Oct 2002 03:36:09 -0000	1.2
@@ -21,11 +21,6 @@
 	 '((: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 (t)             :result nil)
-	   (:args (foosymbol 0)   :result foosymbol)
-	   (:args (foosymbol)     :result nil)
-	   (:args (foosymbol 1)   :result nil)
-	   (:args (foosymbol 2)   :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))
@@ -51,3 +46,12 @@
 	     (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)))
+  (assert (null result))
+  (assert (typep error 'type-error)))
+
+;;; reported by Paul Dietz on cmucl-imp: LDIFF does not check type of
+;;; its first argument
+(assert (not (ignore-errors (ldiff 1 2))))