X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fsetf.impure.lisp;h=086702981e739e923192e7e70d1aef37b7b6ddb7;hb=7e24349c17298e2959e853ea411b5f65d9f7f332;hp=bc4f011a81a3a241a47151203cfbd7f1d8a5af53;hpb=9ef5be5321618ef470f17d274c1a64b2b487d54f;p=sbcl.git diff --git a/tests/setf.impure.lisp b/tests/setf.impure.lisp index bc4f011..0867029 100644 --- a/tests/setf.impure.lisp +++ b/tests/setf.impure.lisp @@ -29,5 +29,56 @@ (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)))) + ;;; success -(quit :unix-status 104)