diff options
| author | Christophe Rhodes <csr21@cantab.net> | 2007-05-02 10:02:08 +0000 |
|---|---|---|
| committer | Christophe Rhodes <csr21@cantab.net> | 2007-05-02 10:02:08 +0000 |
| commit | 0371580437ef7f3e39f0bfbb9e45264986408b19 (patch) | |
| tree | d5d9e53924f74e06747af1a6a87d97f7703cf55c /tests | |
| parent | 4c011cd8892fea4fcdf335531fb24473089fe41d (diff) | |
1.0.5.17: Top-level DECLARE signals an error
... probably the user meant a top-level DECLAIM, but in the
absence of proof an error is a decent choice for undefined
behaviour.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/eval.impure.lisp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/eval.impure.lisp b/tests/eval.impure.lisp index a3db89d20..c5de28bcd 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 |