X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Feval.impure.lisp;h=d0f768b3cd688efee203349c1e0713deb9527495;hb=d76c81b0ca4dcfc99f0cd805f5c20493fa80b2b6;hp=9b8a0b6d20a5238bc08e54356eec86e403e22ce4;hpb=a260738d7a71680079d972b102b4e4db4e8dc3ae;p=sbcl.git

diff --git a/tests/eval.impure.lisp b/tests/eval.impure.lisp
index 9b8a0b6..d0f768b 100644
--- a/tests/eval.impure.lisp
+++ b/tests/eval.impure.lisp
@@ -91,8 +91,21 @@
 (symbol-macrolet ((foo (symbol-macrolet-bar 1)))
   (defmacro symbol-macrolet-bar (x) `(+ ,x 1))
   (assert (= foo 2)))
+
+;;; Bug reported by Paul Dietz: CONSTANTP on a self-evaluating object
+;;; must return T
+
+(assert (constantp (find-class 'symbol)))
+(assert (constantp #p""))
+
+;;; DEFPARAMETER must assign a dynamic variable
+(let ((var (gensym)))
+  (assert (equal (eval `(list (let ((,var 1))
+                                (defparameter ,var 2)
+                                ,var)
+                              ,var))
+                 '(1 2))))
+
 
 ;;; success
 (sb-ext:quit :unix-status 104)
-
-