Commit 43e4bbf2 authored by pfdietz's avatar pfdietz

Added tests of (ignorable (function (setf <symbol>)))

parent 0c8e9206
......@@ -23,3 +23,34 @@
(declare (ignorable (function %f)))
(%f))
foo)
;;; TODO: add a test for (function (setf foo))
(deftest ignorable.5
(flet (((setf %f) (x y) nil))
(declare (ignorable (function (setf %f))))
:good)
:good)
(deftest ignorable.6
(flet (((setf %f) (x y) (setf (car y) x)))
(declare (ignorable (function (setf %f))))
(let ((z (cons 'a 'b)))
(values (setf (%f z) 'c) z)))
c (c . b))
(deftest ignorable.7
(labels (((setf %f) (x y) nil))
(declare (ignorable (function (setf %f))))
:good)
:good)
(deftest ignorable.8
(labels (((setf %f) (x y) (setf (car y) x)))
(declare (ignorable (function (setf %f))))
(let ((z (cons 'a 'b)))
(values (setf (%f z) 'c) z)))
c (c . b))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment