X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=a7bdfe4315aae885610a8cd783a3cfd314d1e6d0;hb=a96369c72588c5457d71d6aaea35f2c450b19ef5;hp=704a693d34b6ebba66c7a9a5ed48d99069038086;hpb=a260738d7a71680079d972b102b4e4db4e8dc3ae;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 704a693..a7bdfe4 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -222,6 +222,7 @@
   (assert (null result))
   (assert (typep error 'program-error)))
 
+;;; ECASE should treat a bare T as a literal key
 (multiple-value-bind (result error)
     (ignore-errors (ecase 1 (t 0)))
   (assert (null result))
@@ -234,3 +235,36 @@
 	  
 ;;; FTYPE should accept any functional type specifier
 (compile nil '(lambda (x) (declare (ftype function f)) (f x)))
+
+;;; FUNCALL of special operators and macros should signal an
+;;; UNDEFINED-FUNCTION error
+(multiple-value-bind (result error)
+    (ignore-errors (funcall 'quote 1))
+  (assert (null result))
+  (assert (typep error 'undefined-function))
+  (assert (eq (cell-error-name error) 'quote)))
+(multiple-value-bind (result error)
+    (ignore-errors (funcall 'and 1))
+  (assert (null result))
+  (assert (typep error 'undefined-function))
+  (assert (eq (cell-error-name error) 'and)))
+
+;;; PSETQ should behave when given complex symbol-macro arguments
+(multiple-value-bind (sequence index)
+    (symbol-macrolet ((x (aref a (incf i)))
+		      (y (aref a (incf i))))
+	(let ((a (copy-seq #(0 1 2 3 4 5 6 7 8 9)))
+	      (i 0))
+	  (psetq x (aref a (incf i))
+		 y (aref a (incf i)))
+	  (values a i)))
+  (assert (equalp sequence #(0 2 2 4 4 5 6 7 8 9)))
+  (assert (= index 4)))
+
+(multiple-value-bind (result error)
+    (ignore-errors
+      (let ((x (list 1 2)))
+	(psetq (car x) 3)
+	x))
+  (assert (null result))
+  (assert (typep error 'program-error)))