X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fsetf.impure.lisp;h=677318aa668d80d26b88dd5b02ab85287cf9e552;hb=1cba0af01f5107ab384d0d8b94b1f6330b3d0ef4;hp=77c4ac5257dc196701430ab85acad6c7a1d61e9c;hpb=ba176faab453c2b5d4d9a6667a84680c8783c957;p=sbcl.git

diff --git a/tests/setf.impure.lisp b/tests/setf.impure.lisp
index 77c4ac5..677318a 100644
--- a/tests/setf.impure.lisp
+++ b/tests/setf.impure.lisp
@@ -23,5 +23,95 @@
 ;;; environment object.
 (assert (multiple-value-list (get-setf-expansion '(foo))))
 
+;;; Regression test for SHIFTF of values.
+(let ((x (list 1))
+      (y (list 2)))
+  (shiftf (values (car x) (car y)) (values (car y) (car x)))
+  (assert (equal (list x y) '((2) (1)))))
+
+;;; SETF of values with multiple-value place forms
+(let ((a t) (b t) (c t) (d t))
+  (let ((list (multiple-value-list
+               (setf (values (values a b) (values c d)) (values 1 2 3 4)))))
+    (assert (equal list '(1 2)))
+    (assert (eql a 1))
+    (assert (eql c 2))
+    (assert (null b))
+    (assert (null d))))
+
+;;; SETF of THE with VALUES.
+(let (x y)
+  (setf (the (values fixnum fixnum) (values x y))
+        (values 1 2))
+  (assert (= x 1))
+  (assert (= y 2)))
+
+;;; SETF of MACRO-FUNCTION must accept a NIL environment
+(let ((fun (constantly 'ok)))
+  (setf (macro-function 'nothing-at-all nil) fun)
+  (assert (eq fun (macro-function 'nothing-at-all nil))))
+
+
+;;; DEFSETF accepts &ENVIRONMENT but not &AUX
+(defsetf test-defsetf-env-1  (&environment env) (new)
+  (declare (ignore new))
+  (if (macro-function 'defsetf-env-trick env)
+      :local
+      :global))
+
+(defsetf test-defsetf-env-2  (local global &environment env) (new)
+  (declare (ignore new))
+  (if (macro-function 'defsetf-env-trick env)
+      local
+      global))
+
+(assert (eq :local (macrolet ((defsetf-env-trick ()))
+                     (setf (test-defsetf-env-1) 13))))
+
+(assert (eq :global (setf (test-defsetf-env-1) 13)))
+
+(assert (eq :local (macrolet ((defsetf-env-trick ()))
+                     (setf (test-defsetf-env-2 :local :oops) 13))))
+
+(assert (eq :global (setf (test-defsetf-env-2 :oops :global) 13)))
+
+(assert (eq :error
+            (handler-case
+                (eval '(defsetf test-defsetf-aux (&aux aux) (new) nil))
+              (error ()
+                :error))))
+
+(handler-bind ((style-warning #'error))
+  (compile nil '(lambda ()
+                 (defsetf test-defsetf-no-env (foo) (new)
+                   `(set-foo ,foo ,new))))
+  (compile nil '(lambda ()
+                 (defsetf test-defsetf-ignore-env (foo &environment env) (new)
+                   (declare (ignore env))
+                   `(set-foo ,foo ,new)))))
+
+;;; Not required by the spec, but allowes compiler-macros for SETF-functiosn
+;;; to see their constant argument forms.
+(with-test (:name :constantp-aware-get-setf-expansion)
+  (multiple-value-bind (temps values stores set get)
+      (get-setf-expansion '(foo 1 2 3))
+    (assert (not temps))
+    (assert (not values))
+    (assert (equal `(funcall #'(setf foo) ,@stores 1 2 3) set))
+    (assert (equal '(foo 1 2 3) get))))
+
+(with-test (:name :update-fn-should-be-a-symbol-in-defsetf)
+  (assert (eq :error
+            (handler-case
+                (eval '(defsetf access-fn 5))
+              (error ()
+                :error)))))
+
+(with-test (:name :getf-unused-default-variable)
+  (handler-bind ((style-warning #'error))
+    (compile nil `(lambda (x y)
+                    (setf (gethash :x x 0) 4)
+                    (setf (getf y :y 0) 4)
+                    (setf (get 'z :z 0) 4)))))
+
 ;;; success
-(quit :unix-status 104)
\ No newline at end of file