Subject: bug#75594: 31.0.50; [FR]: Change equality test for Pcase non-linear patterns

From: Michael Heerdegen <[email-masked]>
Date: Sat, 18 Jan 2025 00:09:14 +0100

Hello again,

> > > 1- some kind of "contextual" pcase macro like
> > >
> > >     (with-equality-predicate #'equal
> > >       `(,foo ,foo ,foo))
> > >
> > > 2- some kind of VAR pattern but annotated with an equality predicate in
> > >    case this is not the first use of this identifier, so you'd write
> > >
> > >     `(,(var foo #'equal) ,(var foo #'equal) ,(var foo #'equal))

Maybe something like

(with-equality-predicate ((foo . #'equal))
  `(,foo ,foo ,foo))

?

Michael.