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

Previous Next

Full log

View this message in rfc822 format

From: Michael Heerdegen <michael_heerdegen <at> web.de>
To: 75594 <at> debbugs.gnu.org
Cc: me <at> eshelyaron.com, monnier <at> iro.umontreal.ca
Subject: bug#75594: 31.0.50; [FR]: Change equality test for Pcase non-linear patterns
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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.