Re: Code for cond*

[Stefan Monnier <monnier@iro.umontreal.ca>]

>> returns the same `(foo moo loo . boo)`, so there is not a unique way for
>> a pattern like `(,@list-var . ,other) to match a given list.
>> That's a large part of the reason why ,@ is not supported in Pcase's
>> backquote patterns.
> Not a unique way without a policy, but could it not take the largest
> possible list at that position, ala regexp greedy matching?

Of course, if you absolutely want that feature, you can define a meaning
for it.  But it does make it somewhat different in nature to the rest of
the patterns.  Another difference is that it will allocate new objects
rather than just select fields from the object under scrutiny.

BTW, this is all implementable right now without any change to
`pcase.el`: just write the corresponding `pcase-defmacro` :-)


        Stefan