27 |
;;; structure, condition, or type, when the symbol has been |
;;; structure, condition, or type, when the symbol has been |
28 |
;;; declared as a declaration name, or vice versa, signals an error." |
;;; declared as a declaration name, or vice versa, signals an error." |
29 |
|
|
30 |
|
;;; Declare these only if bad declarations produce warnings. |
31 |
|
|
32 |
|
(when (block done |
33 |
|
(handler-bind ((warning #'(lambda (c) (return-from done t)))) |
34 |
|
(eval `(let () (declare (,(gensym))) nil)))) |
35 |
|
|
36 |
(deftest declaration.4 |
(deftest declaration.4 |
37 |
(let ((sym (gensym))) |
(let ((sym (gensym))) |
38 |
(proclaim `(declaration ,sym)) |
(proclaim `(declaration ,sym)) |
60 |
|
|
61 |
(deftest declaration.8 |
(deftest declaration.8 |
62 |
(let ((sym (gensym))) |
(let ((sym (gensym))) |
63 |
(eval `(deftype ,sym () error)) |
(eval `(deftype ,sym () 'error)) |
64 |
(eval `(signals-error-always (proclaim '(declaration ,sym)) |
(eval `(signals-error-always (proclaim '(declaration ,sym)) |
65 |
error))) |
error))) |
66 |
t t) |
t t) |
86 |
error))) |
error))) |
87 |
t t) |
t t) |
88 |
|
|
89 |
|
) |
90 |
|
|
91 |
|
|
92 |
|
|
93 |
|
|