projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.29.13: relax CAST-EXTERNALLY-CHECKABLE-P a bit
[sbcl.git]
/
src
/
code
/
destructuring-bind.lisp
diff --git
a/src/code/destructuring-bind.lisp
b/src/code/destructuring-bind.lisp
index
4ea6b48
..
c485b75
100644
(file)
--- a/
src/code/destructuring-bind.lisp
+++ b/
src/code/destructuring-bind.lisp
@@
-9,7
+9,7
@@
(in-package "SB!IMPL")
(in-package "SB!IMPL")
-(defmacro-mundanely destructuring-bind (lambda-list expression &rest body)
+(defmacro-mundanely destructuring-bind (lambda-list expression &body body)
#!+sb-doc
"Bind the variables in LAMBDA-LIST to the corresponding values in the
tree structure resulting from the evaluation of EXPRESSION."
#!+sb-doc
"Bind the variables in LAMBDA-LIST to the corresponding values in the
tree structure resulting from the evaluation of EXPRESSION."
@@
-20,5
+20,8
@@
tree structure resulting from the evaluation of EXPRESSION."
:doc-string-allowed nil
:wrap-block nil)
`(let ((,whole-name ,expression))
: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))))
,@local-decls
,body))))