Re: Installing cond* in core

[Stefan Monnier]

>   > > But there are also nonempty ni-exit clauses:
>   > >
>   > >   >     (cond*
>   > >   >      (:no-exit (match* PAT FORM) THEN)
>   > >   >      . ALWAYS)
>   > >
>   > > Can rewriting handle that?
>
>   > Assuming it means "if PAT matches, execute THEN (with the corresponding
>   > bindings) for its side effects, and in all cases continue with ALWAYS
>   > without PAT's bindings", then it's just
>
> The bindings cover both THEN and ALWAYS.

Then I don't understand what's the intended semantics: how can you use
PAT's bindings over ALWAYS when PAT failed to match?


        Stefan