Re: Installing cond* in core

[Stefan Monnier]

>   > Then I don't understand what's the intended semantics: how can you use
>   > PAT's bindings over ALWAYS when PAT failed to match?
> It makes bindings for all the variables it could bind, independent of
> which ones matched in a given case.

I don't understand, sorry.  Can you give some examples?

> pcase does that to, I found out by experiment.

Same here.  Are you referring to cases such as

    (pcase EXP
      ((or `(,a ,b)
           5)
       (BODY)))

where `a` and `b` will be bound to nil when EXP evaluates to 5?


        Stefan