From mboxrd@z Thu Jan 1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level:
X-Spam-Status: No, score=-3.4 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,
T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 28348 invoked from network); 2 Aug 2023 09:38:15 -0000
Received: from zero.zsh.org (2a02:898:31:0:48:4558:7a:7368)
by inbox.vuxu.org with ESMTPUTF8; 2 Aug 2023 09:38:15 -0000
ARC-Seal: i=1; cv=none; a=rsa-sha256; d=zsh.org; s=rsa-20210803; t=1690969095;
b=sYMJSGW5qK1VpVf8BG9GQVD4rw6qaGh2a4NUK8kihQriZpVqRoMZBwdXsqExUlKp6y13zbjdmy
3THGq8mljY8Fcjb5YLG5FLPXAl8hKtWwfX6WHcJAAdvRZ7JnzgDMde9eaJIo47T//jsYugh4De
/YRHpTEP9h+xdfwNBgV/Z/XiBdoF9Bhz1YdzThW2K9N6MXHzflhF/5YyCfh0wLto1vchcbYLzp
rHnfKpCsErjMKd879rF9sFt0Q4k9MPFIoIHRlVlJWrXAaFGhPKZ55hhHLhL98FldTLToPvfHeO
Mk0myxme80N55Qwt2f6tETf66XMAtCgUgKZ2Q4ETLpsg4w==;
ARC-Authentication-Results: i=1; zsh.org;
iprev=pass (csmtpq1-prd-nl1-vmo.edge.unified.services) smtp.remote-ip=84.116.50.35;
dkim=pass header.d=ntlworld.com header.s=meg.feb2017 header.a=rsa-sha256;
dmarc=pass header.from=ntlworld.com;
arc=none
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed; d=zsh.org; s=rsa-20210803; t=1690969095;
bh=+fMSY56pVUxGWqCDoBowModVWPelwrQIFYxWomKHTTc=;
h=List-Archive:List-Owner:List-Post:List-Unsubscribe:List-Subscribe:List-Help:
List-Id:Sender:Content-Transfer-Encoding:Content-Type:MIME-Version:Subject:
References:In-Reply-To:Message-ID:To:From:Date:DKIM-Signature:
DKIM-Signature;
b=Uyj55hWxdNo6NVuA8JqQQipx1JKRHJC20Ad2ltPg5a7HaGDLEOiNTfwg+MHpC9Tg30A7xfqNpW
tJBAiATCJsXqs8ttZw+2dbCba0CYRx4pIQ9kT+Ct4dpbyt2OWaMulOapPXxP52saG3Y8oB2ikI
QPnnExDrf8FwxxcYwGlOgWZLyOZH9+fGnBfJhbkuurxqPnvvP68ER3rSgUG14ILYiL1w5dJJgC
s8uFIxpBp2GbC6wvoOC/58bU7P7cIDNBGqWCAzqSlqlYdkCztcvvF+pSzDmPnOUwgmtazlEiKv
TYnzxAEt3d0WqxB1Iz2+kedn7My+vu7T+qllwNnn4RHNPw==;
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=zsh.org;
s=rsa-20210803; h=List-Archive:List-Owner:List-Post:List-Unsubscribe:
List-Subscribe:List-Help:List-Id:Sender:Content-Transfer-Encoding:
Content-Type:MIME-Version:Subject:References:In-Reply-To:Message-ID:To:From:
Date:Reply-To:Cc:Content-ID:Content-Description:Resent-Date:Resent-From:
Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID;
bh=E7OTvAog0bW0ngvJP9KCFpshePJ5MjWBva4MtJhfCJM=; b=i0l16Ri3wBqZmmvoptUfcnTtsD
ubXc4JWYEmvCGaITZc4dYutgk+Z9+WwsPBkecFl0I/VuMWXM1RVgt3RDfWQ68IDMfzQS46VXmTG1D
uaHRo6TQNF+0wzk4Y2e20CxiT3oKYCtIzSS3dvlpRwVrubR9j6x9PogGuxc5AU9AI/50u0qP5UoqE
HzTBsOZHSSPE7UIHZvZbCGBo1P+k2wLA3c+VunUFr27QZ4BcfT3me6TYDkwUNeAsnfiApzrbSJ8Oh
s2NYu8aqyULNnOeRlo7HxTy3KeveOQhQOWp/F9xM8osAGMxGSgYOuYMsXYuOmSTIMLI572kwdognR
WMDITKFQ==;
Received: by zero.zsh.org with local
id 1qR8J3-0004RZ-I9;
Wed, 02 Aug 2023 09:38:13 +0000
Authentication-Results: zsh.org;
iprev=pass (csmtpq1-prd-nl1-vmo.edge.unified.services) smtp.remote-ip=84.116.50.35;
dkim=pass header.d=ntlworld.com header.s=meg.feb2017 header.a=rsa-sha256;
dmarc=pass header.from=ntlworld.com;
arc=none
Received: from csmtpq1-prd-nl1-vmo.edge.unified.services ([84.116.50.35]:62009)
by zero.zsh.org with esmtps (TLS1.3:TLS_AES_256_GCM_SHA384:256)
id 1qR8IE-000480-MU;
Wed, 02 Aug 2023 09:37:26 +0000
Received: from oxsmtp2-prd-nl1-vmo.nl1.unified.services ([100.107.83.137])
by csmtpq1-prd-nl1-vmo.edge.unified.services with esmtp (Exim 4.93)
(envelope-from
)
id 1qR8ID-001JLU-8n
for zsh-workers@zsh.org; Wed, 02 Aug 2023 11:37:21 +0200
Received: from oxbe13-prd-nl1-vmo.nl1.unified.services ([100.107.83.75])
by oxsmtp2-prd-nl1-vmo.nl1.unified.services with ESMTP
id R8IDqqe95AnuPR8IDqbRSH; Wed, 02 Aug 2023 11:37:21 +0200
X-Env-Mailfrom: p.w.stephenson@ntlworld.com
X-Env-Rcptto: zsh-workers@zsh.org
X-SourceIP: 100.107.83.75
X-CNFS-Analysis: v=2.4 cv=G5PaUfo5 c=1 sm=1 tr=0 ts=64ca23d1 cx=a_exe
a=cSWEq5DYm7s2VKILW7RIxw==:117 a=B1H3LvmVEyMA:10 a=IkcTkHD0fZMA:10
a=dGsWvjqBAAAA:8 a=nMmhzRDB3BAVpImP_Y4A:9 a=QEXdDO2ut3YA:10
a=aHpc-xnqviwxkS_SiO63:22 a=EwAE0RQWx3bH85eTCWcH:22
X-Authenticated-Sender: p.w.stephenson@ntlworld.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ntlworld.com;
s=meg.feb2017; t=1690969041;
bh=+fMSY56pVUxGWqCDoBowModVWPelwrQIFYxWomKHTTc=;
h=Date:From:To:In-Reply-To:References:Subject;
b=o7JfBX8ltZj9dD5uWkRFJBToQjXpKvctRXIaXR06U9IR/xQvvgjzUPU5fdvue+Fk/
/N4lT9BJrdsI+vby1KpANG0RdTaMwsKgh9Vw7djJB2T2qmkaDWf6Tbkq5ziUvC7k8a
9cAZcHZYmaOWh/4uVBMqOKPCF/rPNc3dS90pouc3Wt2RmFcadTS4E6a4/lNVAP6zW6
FpXKhZINmRo30HvY11TC9ANTMOBxsY5pVbOX3nOJhhryqqVtGGmR2+Ekrg0ScdXLsI
R24b1zGQq7d30ukJC9Z40R+McEMiJTwYT0ThOC+sKkUQff3Sk/13dEsF/PMKQymP6I
Wwe23WmunYoNw==
Date: Wed, 2 Aug 2023 10:37:21 +0100 (BST)
From: Peter Stephenson
To: Johan Grande , zsh-workers@zsh.org
Message-ID: <616796427.1643271.1690969041187@mail.virginmedia.com>
In-Reply-To:
References: <599e3c13-53a5-1823-6d0d-68dd722967d9@crans.org>
<8c33aa3a-fde5-45ce-8f22-c817c6fa4a9a@crans.org>
<20230728064106.ufcfaqondhn3wge7@chazelas.org>
<16673694-5299-cf1c-8553-c3d703d942d0@crans.org>
<2034111748.1610065.1690896654728@mail.virginmedia.com>
Subject: Re: Pattern bug on (a*|)~^(*b)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Priority: 3
Importance: Normal
X-Mailer: Open-Xchange Mailer
X-Originating-IP: 147.161.224.207
X-Originating-Client: open-xchange-appsuite
X-CMAE-Envelope: MS4xfASzjSFCnEhgfK8yRO8mtNWxk3VSV86Rn30F0uOzfBY66Vun13mw2GqjchWccXIuuRJzt8IjsCqwEUY59CYPaS9AwAgcFdRPK7jpOaSdEhAh+HRxmoCJ
5q+FnBZdgDPJKIDVNc3cBRGWCnkczz7sdphncs1acgVWOnrSlrir6Fi859Nv9aqIAtS+I1j4WHz3iCZBLGunJGznPhsoo2aWRKdvrXJOCEz34SuBsVZYfTdb
O3D9K2pt6NIBkqrSlkjf3A==
X-Seq: 52020
Archived-At:
X-Loop: zsh-workers@zsh.org
Errors-To: zsh-workers-owner@zsh.org
Precedence: list
Precedence: bulk
Sender: zsh-workers-request@zsh.org
X-no-archive: yes
List-Id:
List-Help: ,
List-Subscribe: ,
List-Unsubscribe: ,
List-Post:
List-Owner:
List-Archive:
> On 02/08/2023 09:31 Johan Grande wrote:
>=20
> =20
> Le 01/08/2023 =C3=A0 15:30, Peter Stephenson a =C3=A9crit=C2=A0:
> > On 01/08/2023 14:19 Johan Grande wrote:
> >> So I'm thinking I could filter for user-provided patterns that contain
> >> '|' and don't put them in the mega-pattern but filter for them
> >> post-globbing. Does that sound like a sound solution to you?
> >=20
> > Yes, I think that would be OK. [...]
>=20
> Actually, an AND can be expressed as a combination of ORs and NOTs. So I=
=20
> can build patterns such as
>=20
> ^(^(pat1)|^(pat2))
>=20
> and never introduce ~. (With pat1 and pat2 arbitrary.) Basis tests show=
=20
> it working. Can you see any issue I might run into if I implement my=20
> queries like this?
That certainly shouldn't tickle this problem since the exclusions
operate locally, so the problematic string recording positions is
recreated each time. It's probably a bit less efficient since the
exclusions do some memory management for that state record, but
if that's not causing you a problems you should be fine.
pws