t)))))
(declaration-p (x)
(if (consp x)
- (eq (car x) 'declare))))
+ (let ((name (car x)))
+ (if (eq name 'declaim)
+ ;; technically legal, but rather unlikely to
+ ;; be what the user intended...
+ (progn
+ (style-warn
+ "DECLAIM where DECLARE was probably intended")
+ nil)
+ (eq name 'declare))))))
(tagbody
:again
(if forms