Re: [Emacs-diffs] map 988d721: Add a pcase pattern for maps and `map-let' based on it

[Michael Heerdegen <michael_heerdegen@web.de>]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> This said, if the main case where the quote would be needed is when KEY
> is a (non-keyword) symbol, then it's probably worth the extra
> flexibility since you could say that an element of the form SYMBOL is
> treated as equivalent to ('SYMBOL SYMBOL), so the extra quote will be
> very rarely needed.

Now that this has been finished, we should add to the doc what KEY _is_
in the "elements of the form (KEY PAT)", and how it is compared
(e.g. say it's interpreted as an expression to be evaluated, and
compared with "equal" in the alist case).

Perhaps we should also say that only one occurrence of KEY is tested in
the alist case (is that true?), e.g.

(pcase '((1 . 11) (1 . 9))
  ((map (1 (and x (pred (> 10))))) x)
  (_ 'not-found))

gives not-found, not 9 (which would also make sense).


Thanks,

Michael.