X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Feval.impure.lisp;h=f48801e865631e47b2fd7b9097de5a234718a438;hb=b9a60d8c091096ce7f90073de9b3d26ec7433387;hp=d0f768b3cd688efee203349c1e0713deb9527495;hpb=3586bad78cd1b61c356ec74a4e7bcced1eb69cb3;p=sbcl.git diff --git a/tests/eval.impure.lisp b/tests/eval.impure.lisp index d0f768b..f48801e 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,21 @@ ,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)) + +;;; MAKE-PACKAGE (and other &key functions) should signal an error +;;; when given a NIL key. This is kind of a compiler test really, but +;;; this'll do as a resting place. +(handler-case + (eval '(make-package "FOO" nil nil)) + (error () :ok) + (:no-error (c) (error "MAKE-PACKAGE succeeded: ~S" c))) + ;;; success (sb-ext:quit :unix-status 104)