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.3 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 25347 invoked from network); 28 Jul 2023 01:03:00 -0000 Received: from zero.zsh.org (2a02:898:31:0:48:4558:7a:7368) by inbox.vuxu.org with ESMTPUTF8; 28 Jul 2023 01:03:00 -0000 ARC-Seal: i=1; cv=none; a=rsa-sha256; d=zsh.org; s=rsa-20210803; t=1690506180; b=qKZs5yEfsEvC4lMDbP9emz5v++1YMPXdvJPzMaVARxb7MUjosTdacHQv/1ci4Xt7SLaa55wzOX w0ryjGq4ZWh3WeTIKSzcEVWEyyEo51odkTPZQnlkdXYEv7ld6OcCnqPuEKxLKFipsCNDqJ6o66 CUP5xW5aUVp2tm8+YOSQJWtjt4DzsdVcfIxskdB/ZRIXNZln0T9rcT66bdJmxKUUmatYydP2xn N549oBnbplIISNCaLpuhbRHLaO+eTZ6qTTDO0N4XH8tMdIhGc8gkizL681djJe+uOOX6fqDBS3 IUjU4PvDBfO/wkeGrdhnQobYqeEA5sRHc1a6YBe6qFFMRA==; ARC-Authentication-Results: i=1; zsh.org; iprev=pass (mail-ed1-f54.google.com) smtp.remote-ip=209.85.208.54; dkim=pass header.d=brasslantern-com.20221208.gappssmtp.com header.s=20221208 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed; d=zsh.org; s=rsa-20210803; t=1690506180; bh=A1ZD2o9t2QI7UA3qK/IRGjGI9OkTMWAV2DJK2nNq7ds=; h=List-Archive:List-Owner:List-Post:List-Unsubscribe:List-Subscribe:List-Help: List-Id:Sender:Content-Transfer-Encoding:Content-Type:Cc:To:Subject: Message-ID:Date:From:In-Reply-To:References:MIME-Version:DKIM-Signature: DKIM-Signature; b=feOrD7tk6tcQLjKe+RXF6xRqdKoKSJKU9i9VyfI+wqxCWj46Mt8BPiR5qoT0Vm6KcF365qhIP4 ohNOXfmpd/rG6CXgl7WUeiIZh9EbfMWOkLlHOR9R8Vu+l9dFuta0hM4YeVUKVzNiXQx3q1Vbph h12cjoWsLYkvhAnfrEfC1vuVa5okgMCJq7F+jxZusu33xUUCXdyS0Af+UZkQj442f6IMOB29p9 tlnCZqAksbM7EIl8zoF+YWVJY7VrLfZ/ikBa/hDj34ABpLt4pHT5iSJHwDL2zutsxQRMj0u3qW UeE1MvTkQGJNLUXa8/wDRDluE7iY8Zl2ZZkLDAcdy08Xcg==; 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:Cc:To:Subject:Message-ID:Date:From:In-Reply-To:References: MIME-Version:Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID; bh=xvJI4TocLJyQ6ZMBTQvbV/jko6BwcJ68l34kUxpNqc0=; b=MR0nRBFOGy4Sv9wGGWkkXlVJZ2 8eyYwHzBjwB9bGAipKExxK6mABbXW4nEPfUlglLVi1cpgI4dp3UheQmGuf86F8QFuSxH/lLmNY+S1 Etqu31CDL8WLWpBMqFYgmaOizRhhyodNxyjKiFe2TufQue/ItySBIAJkXwRGLyf9cKwR7T7g/VzrF r48gq46lKiv78I0XLuhXK8fI3me20KUUEHpSyOSh+PbOViGxN3DREQYT7e6MoFKl+pZiYdceM5vUQ ZpIak0QTJdpUcA9rlsKXFrK3ipMM3jS4GnCGiee2+rLD2XIlTfmsKmUseFenrxUfC1C9uLfoQ3oGt ffdUolYg==; Received: by zero.zsh.org with local id 1qPBsg-000N4v-ML; Fri, 28 Jul 2023 01:02:58 +0000 Authentication-Results: zsh.org; iprev=pass (mail-ed1-f54.google.com) smtp.remote-ip=209.85.208.54; dkim=pass header.d=brasslantern-com.20221208.gappssmtp.com header.s=20221208 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none Received: from mail-ed1-f54.google.com ([209.85.208.54]:55532) by zero.zsh.org with esmtps (TLS1.3:TLS_AES_128_GCM_SHA256:128) id 1qPBsQ-000Mna-Td; Fri, 28 Jul 2023 01:02:44 +0000 Received: by mail-ed1-f54.google.com with SMTP id 4fb4d7f45d1cf-5222c5d71b8so1968580a12.2 for ; Thu, 27 Jul 2023 18:02:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=brasslantern-com.20221208.gappssmtp.com; s=20221208; t=1690506162; x=1691110962; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=xvJI4TocLJyQ6ZMBTQvbV/jko6BwcJ68l34kUxpNqc0=; b=bQLz3fZqLCH74/75SlkeObhg3HdZ3HWlfWIUZFMFFpQzrMP0EPyQsnm0N12XuM04At swqreZlRNuVmRcnZmpyJX2o3wrXGGaQKwBknla0iyjt5z1IMRYbDSiPp2duwmKKj6LoX ltf4vu3kw8HFnr07HeUM7J37mKOlA2eK6XC9ZuranLsjp8ufbRHakY7pWAME3Nv2cUf0 xD1v43ZdwQDGyPZYj5aHE+k0eSuiIHydAjsk3+NHt3qQjM9rXM9CLdnhxFJP1l41ZI2+ Ol7gFIDnFFjbHnWY3tG14slr3hQ2Ebm4FeRKYhw/Rct61zLq6oMes6ShcdAAsr9H7qOb vkWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1690506162; x=1691110962; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=xvJI4TocLJyQ6ZMBTQvbV/jko6BwcJ68l34kUxpNqc0=; b=HrSnsG/hfDx0xNdv0XwsfVNxTm7hlkxW1+792/SNknIMSfrYxaLws5oOxQQylxDeMN AvfbVFdSTTTAQrvArrYTi3Gxtex0PYcAfSc7DDj8aaEclEI/yS3+XOVWpKXb6YUXSrJf 4RYaw3qhezxJYQrJ1q8d+U9gv0x8GBuj5NpNW0W/WiabS8frqD/4tP48HN7NsX5H/DYc 2oksAHhnR46AS9Og7Po8U28F7GYFPlNXiBwAmz1aiY86KEZdk4hFTs6eqIKZqQh47Fko BnEfrs64legrsjMA0JVYHi3DGHyiHU+dp9GKtgc6oRp3uJDyBdAywdIck3NvLw/Qz7iy QAbw== X-Gm-Message-State: ABy/qLaOMYqw3Q7anGs80r8A7ULyCqZFhNPF2OIFcgAbqWauLaecmfiD /2JRmDHXsRLEsH/pe6QqnVkxAjmeed5aGz3FAfh8F1o0TxrirTeeZaM= X-Google-Smtp-Source: APBJJlEMy+J7I11bdAu/0n3bwX0bWF9mMrpM7wyBL8V67whYwvRfl6IF0QTDJ3OmqbuqXcZK+Sa+f6sZf/gS731lnpc= X-Received: by 2002:a17:907:2bc5:b0:974:55ea:1ad8 with SMTP id gv5-20020a1709072bc500b0097455ea1ad8mr591496ejc.63.1690506161854; Thu, 27 Jul 2023 18:02:41 -0700 (PDT) MIME-Version: 1.0 References: <599e3c13-53a5-1823-6d0d-68dd722967d9@crans.org> <8c33aa3a-fde5-45ce-8f22-c817c6fa4a9a@crans.org> In-Reply-To: <8c33aa3a-fde5-45ce-8f22-c817c6fa4a9a@crans.org> From: Bart Schaefer Date: Thu, 27 Jul 2023 18:02:30 -0700 Message-ID: Subject: Re: Pattern bug on (a*|)~^(*b) To: Johan Grande Cc: zsh-workers@zsh.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Seq: 51994 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 Tue, Jul 25, 2023 at 11:47=E2=80=AFAM Johan Grande wro= te: > > I don't get it. What are the different patterns tried during this > left-to-right evaluation of (|a*)~^(*b) ? I'm going to invoke my "PWS may be able to explain some more" remark, but basically once you cross the "~" it's no longer possible to backtrack again; so it tries to match the empty alternative, gets an empty result set, excludes ^(*b) from that result set leaving a still-empty set, can't go back, and fails because the final result is empty. I don't recall all the details but this has something to do with X~Y implemented as "exclude Y from the result of X".