- (parse-defmacro lambda-list arg-list-name body nil 'destructuring-bind
- :anonymousp t
- :doc-string-allowed nil)
- `(let ((,arg-list-name ,arg-list))
- ,@local-decls
- ,body))))
+ (parse-defmacro lambda-list whole-name body nil 'destructuring-bind
+ :anonymousp t
+ :doc-string-allowed nil
+ :wrap-block nil)
+ `(let ((,whole-name ,expression))
+ ;; This declaration-as-assertion should protect us from
+ ;; (DESTRUCTURING-BIND (X . Y) 'NOT-A-LIST ...).
+ (declare (type list ,whole-name))
+ ,@local-decls
+ ,body))))