|
Cdr Pattern |
||||||
Matches only if the specimen is a list of at least the size of the left-hand list pattern, and the parts of the list match the corresponding subpatterns of the pattern.
To match, the list must have at least as many elements as the patterns between the square brackets on the left. Should these initial elements match, a tuple of the remaining elements is then matched against the rest pattern. Only if all these patterns successfully match does the tuple pattern as a whole match.
The normal E left to right scoping and execution rules apply. Each pattern may use variables defined by patterns to its left, and all variables defined by any of these patterns are variables defined by the tuple pattern as a whole.
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
|
|
report bug (including invalid html)
|
||||||||
