X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Feval.impure.lisp;h=3f7aa8854ec5e04c97a9169ce6bcba5388e9ebe8;hb=0ba72140fb0956f4cafd7b4aca6b6ffb0aa83c05;hp=d0f768b3cd688efee203349c1e0713deb9527495;hpb=3586bad78cd1b61c356ec74a4e7bcced1eb69cb3;p=sbcl.git

diff --git a/tests/eval.impure.lisp b/tests/eval.impure.lisp
index d0f768b..3f7aa88 100644
--- a/tests/eval.impure.lisp
+++ b/tests/eval.impure.lisp
@@ -18,6 +18,9 @@
 
 (cl:in-package :cl-user)
 
+(load "assertoid.lisp")
+(use-package "ASSERTOID")
+
 ;;; Until sbcl-0.7.9.x, EVAL was not correctly treating LOCALLY,
 ;;; MACROLET and SYMBOL-MACROLET, which should preserve top-levelness
 ;;; of their body forms:
@@ -94,7 +97,6 @@
 
 ;;; Bug reported by Paul Dietz: CONSTANTP on a self-evaluating object
 ;;; must return T
-
 (assert (constantp (find-class 'symbol)))
 (assert (constantp #p""))
 
@@ -106,6 +108,13 @@
                               ,var))
                  '(1 2))))
 
-
+;;; Bug 264: SYMBOL-MACROLET did not check for a bound SPECIAL
+;;; declaration
+(assert (raises-error? (progv '(foo) '(1)
+                         (eval '(symbol-macrolet ((foo 3))
+                                 (declare (special foo))
+                                 foo)))
+                       error))
+
 ;;; success
 (sb-ext:quit :unix-status 104)