X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Feval.impure.lisp;h=c5de28bcde4bdd855a5ba1a8deff3a17aa6e5202;hb=d8659f1e656234e8f0f47d5295b503dd6cff4aba;hp=a3db89d20cef29a46f106179dc1852adeeda36e7;hpb=37b5fc474cf0b4d739c12fc0356667a16006d217;p=sbcl.git

diff --git a/tests/eval.impure.lisp b/tests/eval.impure.lisp
index a3db89d..c5de28b 100644
--- a/tests/eval.impure.lisp
+++ b/tests/eval.impure.lisp
@@ -220,4 +220,10 @@
       (tagbody (go NIL) NIL) t)
     (assert (tagbody-nil-is-valid-tag))))
 
+;;; top-level DECLARE is formally undefined, but we want it to raise
+;;; an error rather than silently return NIL.
+(defvar *scratch*)
+(with-test (:name :toplevel-declare)
+  (assert (raises-error? (eval '(declare (type pathname *scratch*))))))
+
 ;;; success