0.9.10.17: fix bug #400, aka more correct CONSTANTP

[sbcl.git] / tests / eval.impure.lisp

diff --git a/tests/eval.impure.lisp b/tests/eval.impure.lisp
index 3708433..da75fb0 100644 (file)
--- a/tests/eval.impure.lisp
+++ b/tests/eval.impure.lisp
@@ -136,6 +136,16 @@
                 ((the integer 1)        t         1)
                 ((the integer (+ 1 1))  t         2)
                 ((the integer (foo))    nil)
+                ((the symbol 1)         nil)
+                ((the "bad type" 1)     nil)
+                ((multiple-value-prog1
+                     (+ 1 1)
+                   :nada)               t         2)
+                ((multiple-value-prog1
+                     :nada
+                   (/ 1 0))             nil)
+                ((/ 1 0)                nil)
+                ((/ 1 1)                t         1)
                 ((+ 1 2)                t         3)))
   (destructuring-bind (form c &optional v) test
     (assert (eql (constantp form) c))