3 (with-test (:name
:constantp-conservatively-nil
)
4 (assert (not (constantp '(if))))
5 (assert (not (constantp '(if .
1))))
6 (assert (not (constantp '(if 1))))
7 (assert (not (constantp '(if 1 .
2))))
8 (assert (not (constantp '(if 1 2 .
3))))
9 (assert (not (constantp '(if 1 2 3 4)))))
11 (with-test (:name
(:bogus-block constantp
))
14 (checked-compile `(lambda (&optional
(x (block 1 10))) x
)
16 (assert (not (constantp '(block 1 10)))))
18 (with-test (:name
:progv
)
20 (not (constantp '(progv '(*s
*) nil
*s
*))))
22 (not (constantp '(progv 10 '(10) 10))))
24 (not (constantp '(progv '(10) 10 10))))
26 (not (constantp '(progv '(10) '(10) 10))))
28 (not (constantp '(progv '(10 .
20) '(10) 10))))
30 (not (constantp '(progv '(10) '(10 .
30) 10))))
32 (not (constantp '(progv '(/) '(10) /))))
34 (not (constantp '(progv '(pi) '(10) 10))))
36 (not (constantp '(progv '(sb-c::**world-lock
**) '(10) 10)))))
38 (with-test (:name
:the
)
40 (not (constantp '(the (satisfies eval
) 10))))
42 (not (constantp '(the (array abc
) #()))))
44 (not (constantp '(the (cons (satisfies error
)) '("a"))))))
46 (with-test (:name
:bad-macros
)
50 `(lambda () (coerce 'integer
(restart-bind foo
)))