From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Newsgroups: gmane.emacs.bugs Subject: bug#58727: 29.0.50; rx doc: Semantics of RX... Date: Sun, 23 Oct 2022 18:14:10 +0200 Message-ID: <3BB74199-7826-41F5-96BA-39CB3EC0E2B7@gmail.com> References: <87tu3v2rta.fsf@web.de> Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10495"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 58727@debbugs.gnu.org To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Oct 24 05:29:40 2022 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1omo9k-0002Ym-2u for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 24 Oct 2022 05:29:40 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1omn5z-0003yL-ER for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 23 Oct 2022 22:21:43 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1omdcs-0000rn-9L for bug-gnu-emacs@gnu.org; Sun, 23 Oct 2022 12:15:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1omdcr-0007PM-Te for bug-gnu-emacs@gnu.org; Sun, 23 Oct 2022 12:15:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1omdcr-0005o3-Ly for bug-gnu-emacs@gnu.org; Sun, 23 Oct 2022 12:15:01 -0400 X-Loop: help-debbugs@gnu.org In-Reply-To: <87tu3v2rta.fsf@web.de> Resent-From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 23 Oct 2022 16:15:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58727 X-GNU-PR-Package: emacs Original-Received: via spool by 58727-submit@debbugs.gnu.org id=B58727.166654166022253 (code B ref 58727); Sun, 23 Oct 2022 16:15:01 +0000 Original-Received: (at 58727) by debbugs.gnu.org; 23 Oct 2022 16:14:20 +0000 Original-Received: from localhost ([127.0.0.1]:46411 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1omdcC-0005mp-CR for submit@debbugs.gnu.org; Sun, 23 Oct 2022 12:14:20 -0400 Original-Received: from mail-lj1-f171.google.com ([209.85.208.171]:38819) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1omdcA-0005mc-Vu for 58727@debbugs.gnu.org; Sun, 23 Oct 2022 12:14:19 -0400 Original-Received: by mail-lj1-f171.google.com with SMTP id bn35so1253634ljb.5 for <58727@debbugs.gnu.org>; Sun, 23 Oct 2022 09:14:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:from:to:cc:subject:date :message-id:reply-to; bh=VsYYfUfC6MSVW/AiHq8jSJ4q7pPYwy7ouQSwG+aBn8E=; b=KD8mhnOAVrA9hyM2x5fe0HuxX/e0IZ/bc1AayD6WuvkxPTQeUVVarVk78ouaw7ZwLH 1FC+k7ac6Ne6JWAeXl/m3z9q40OUUKC6iH6GufJvQ2SHk/kzLQnf4/QY4nP+f+8ramOy eFiTTTNeO6PJhmNYSvghJ/mb7tU6h4nz0cu3yeXJNSBr9wS1RHL1gtdU7JkqpD4gqx5J UCxvd4TEHr25dDMx42A+ZLFscWLZBZZVnmdN0Wm+oyJNRgikzLzvfV6rrHq5BaoRVVzh MsPR6OloTUFtxoMcZikyNeR+tVd4hpg4hKmddHry29YjHuFOPmsTI+UOp7dS6SrM3qxq b9rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=VsYYfUfC6MSVW/AiHq8jSJ4q7pPYwy7ouQSwG+aBn8E=; b=6pyWfIE2oDYUtQule9ajcz6WRSGRk8TmmaFLzh6ktm35G82XZTg74NHzcT7U/ikA4Z weWpgHHYbOsSGJC6b56pFuCQ/A+eZJIBCwDFLPpe6X0owK1rMQQgUxziJdRZqATEYITd 1KAEwrSnZ6DEd0YzmQJR1wt0RjcfLcoi3dUpsJuHEqobmHPtoIlQBqx+1BQskRfZPOPc LmhdCAhUKH2LO0+DDkkh1ygD7XESxlDzzoihtgLYE8fiCssvwSXeeyQVRRhISOMnyC0u APWgZVNY0tn7S8EZIh+9KhwEPaUypWs1NAu7s4kmoeUTlir8pm/c9oUjYxNZWxCZ61Jk xdpg== X-Gm-Message-State: ACrzQf3bealr4G1OfbpYBJCnvtizt0HT0hDU+IafXvubO20Ni8lemTFR gNH2BKXO6ZDwQ6mT0c09I7U= X-Google-Smtp-Source: AMsMyM6KPXV1nigFQkL9k8uI4JuApquMod7UClXsE99FHFm2UtR+1YvjGJvZE4/6/vUgcNPmi4cEhQ== X-Received: by 2002:a2e:9c0c:0:b0:26f:c02b:69cf with SMTP id s12-20020a2e9c0c000000b0026fc02b69cfmr9820763lji.309.1666541652850; Sun, 23 Oct 2022 09:14:12 -0700 (PDT) Original-Received: from smtpclient.apple (c188-150-171-209.bredband.tele2.se. [188.150.171.209]) by smtp.gmail.com with ESMTPSA id t20-20020a056512069400b004994117b0fdsm4082453lfe.281.2022.10.23.09.14.11 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 23 Oct 2022 09:14:12 -0700 (PDT) X-Mailer: Apple Mail (2.3654.120.0.1.13) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:246063 Archived-At: > The resulting regexps are concatenating like with an implicit `seq'. > This is not trivial, though: in stringish regexps the repetition > operators are only unary, and different interpretations would make = sense > for `rx' (implicit `seq', implicit `or'). The rule is implicit concatenation unless specified otherwise; maybe we = could say that in the leading paragraph. (`or` is the only place where = concatenation isn't done.) Otherwise I think we should grant our readers some common sense. It's = not a formal specification but meant for humans to understand, and I'm = quite sure they do. > Oh, and maybe let's also make more clear that `rx' always cares about > implicit grouping when necessary. No, there is no such thing in rx. The manual provides corresponding = string-notation constructs for orientation only. This is important -- rx forms are defined by their semantics, not by = what strings they translate to.