When matching a destructuring lambda list against a form, the pattern and the form must have compatible tree structure, as described in section Macro Lambda Lists.
Otherwise, in a safe call, an error of type program-error must be signaled; and in an unsafe call the situation has undefined consequences.
Go to the first, previous, next, last section, table of contents.