projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.2.7:
[sbcl.git]
/
tests
/
eval.impure.lisp
diff --git
a/tests/eval.impure.lisp
b/tests/eval.impure.lisp
index
d0f768b
..
3f7aa88
100644
(file)
--- a/
tests/eval.impure.lisp
+++ b/
tests/eval.impure.lisp
@@
-18,6
+18,9
@@
(cl:in-package :cl-user)
(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:
;;; 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
;;; Bug reported by Paul Dietz: CONSTANTP on a self-evaluating object
;;; must return T
-
(assert (constantp (find-class 'symbol)))
(assert (constantp #p""))
(assert (constantp (find-class 'symbol)))
(assert (constantp #p""))
@@
-106,6
+108,13
@@
,var))
'(1 2))))
,var))
'(1 2))))
-
\f
+;;; 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)
;;; success
(sb-ext:quit :unix-status 104)