From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Juri Linkov Newsgroups: gmane.emacs.bugs Subject: bug#31953: [VanL] Re: bug#31953: feature request - `highlight-rx` interactively Date: Tue, 22 Oct 2019 00:19:48 +0300 Organization: LINKOV.NET Message-ID: <87mudtdcv7.fsf@mail.linkov.net> References: <875zkqsx1c.fsf@gnus.org> <87o8yirgk4.fsf@gnus.org> <646a4a85cca29e6ca83e1b5b2004902b@webmail.orcon.net.nz> <87h843ptuk.fsf@mail.linkov.net> <874l03dm7x.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="84115"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (x86_64-pc-linux-gnu) Cc: VanL , Phil Sainty , Lars Ingebrigtsen , 31953@debbugs.gnu.org To: Noam Postavsky Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Oct 21 23:31:37 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iMfH5-000Ley-Ha for geb-bug-gnu-emacs@m.gmane.org; Mon, 21 Oct 2019 23:31:35 +0200 Original-Received: from localhost ([::1]:48132 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iMfH4-0003Bz-8r for geb-bug-gnu-emacs@m.gmane.org; Mon, 21 Oct 2019 17:31:34 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45913) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iMfGb-0003Aj-Cj for bug-gnu-emacs@gnu.org; Mon, 21 Oct 2019 17:31:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iMfGZ-0001GD-GY for bug-gnu-emacs@gnu.org; Mon, 21 Oct 2019 17:31:05 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:49182) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iMfGX-0001Fs-WE for bug-gnu-emacs@gnu.org; Mon, 21 Oct 2019 17:31:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iMfGX-0005x0-OB for bug-gnu-emacs@gnu.org; Mon, 21 Oct 2019 17:31:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Juri Linkov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 21 Oct 2019 21:31:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31953 X-GNU-PR-Package: emacs Original-Received: via spool by 31953-submit@debbugs.gnu.org id=B31953.157169343422826 (code B ref 31953); Mon, 21 Oct 2019 21:31:01 +0000 Original-Received: (at 31953) by debbugs.gnu.org; 21 Oct 2019 21:30:34 +0000 Original-Received: from localhost ([127.0.0.1]:58001 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iMfG6-0005w6-E8 for submit@debbugs.gnu.org; Mon, 21 Oct 2019 17:30:34 -0400 Original-Received: from aye.elm.relay.mailchannels.net ([23.83.212.6]:21999) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iMfG3-0005vq-RG for 31953@debbugs.gnu.org; Mon, 21 Oct 2019 17:30:32 -0400 X-Sender-Id: dreamhost|x-authsender|jurta@jurta.org Original-Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 81C388C1F9F; Mon, 21 Oct 2019 21:30:30 +0000 (UTC) Original-Received: from pdx1-sub0-mail-a57.g.dreamhost.com (100-96-84-88.trex.outbound.svc.cluster.local [100.96.84.88]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 9B4E88C20C9; Mon, 21 Oct 2019 21:30:29 +0000 (UTC) X-Sender-Id: dreamhost|x-authsender|jurta@jurta.org Original-Received: from pdx1-sub0-mail-a57.g.dreamhost.com ([TEMPUNAVAIL]. [64.90.62.162]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.18.5); Mon, 21 Oct 2019 21:30:30 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|jurta@jurta.org X-MailChannels-Auth-Id: dreamhost X-Language-Cooperative: 78e9f3374c98def8_1571693430251_1541228975 X-MC-Loop-Signature: 1571693430251:4287604511 X-MC-Ingress-Time: 1571693430251 Original-Received: from pdx1-sub0-mail-a57.g.dreamhost.com (localhost [127.0.0.1]) by pdx1-sub0-mail-a57.g.dreamhost.com (Postfix) with ESMTP id 4FF867FE33; Mon, 21 Oct 2019 14:30:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=linkov.net; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type:content-transfer-encoding; s=linkov.net; bh=rE1BHr ebVimctO33pFH/v03FMJ0=; b=PGHL1vVih1M2RR4a+7WDRiLjdG6bczlsUdjEqK d7RhIyiq/v7e5GnjyeOXhcE1Y0015hKZgpr7HPjp3txxFODnXc3hh7cjIhPT1WfG +SUsAP85aGvz5DwhOPqUXTV1UIYHYUclfOX7Rc5kJPCzeOkR/QI2ILbaCHm6Q9tO 0X5XA= Original-Received: from mail.jurta.org (m91-129-98-153.cust.tele2.ee [91.129.98.153]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: jurta@jurta.org) by pdx1-sub0-mail-a57.g.dreamhost.com (Postfix) with ESMTPSA id 3B44E7FE22; Mon, 21 Oct 2019 14:30:18 -0700 (PDT) X-DH-BACKEND: pdx1-sub0-mail-a57 In-Reply-To: <874l03dm7x.fsf@gmail.com> (Noam Postavsky's message of "Sun, 20 Oct 2019 19:35:30 -0400") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:169953 Archived-At: >> - =E2=80=98or=E2=80=99 has a synonym =E2=80=98|=E2=80=99, but =E2=80=98= and=E2=80=99 has no synonym =E2=80=98&=E2=80=99 > > `and' is not the counterpart of `or', it's a synonym for `seq' or `:'. > We should probably deprecate `and', since this is a bit confusing. I consider =E2=80=98rx=E2=80=99 as an analogue of Definite Clause Grammar= . I'm so accustomed to Prolog paradigms used for defining grammars in DCG that I can't use `rx' without its analogous constructs, e.g. such DCG: rx --> a, b; c. where =E2=80=98,=E2=80=99 denotes conjunction, and =E2=80=98;=E2=80=99 de= notes disjunction, would naturally translate in =E2=80=98rx=E2=80=99 to corresponding and/or= : (rx (| (& a b) c)) For example, this package parses a regexp and returns a DCG structure: https://github.com/SWI-Prolog/packages-regex/blob/master/regex.dcg.pl