From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#65516: 30.0.50; Edebug behavior of signaling errors in &or Date: Sun, 27 Aug 2023 23:26:34 -0400 Message-ID: References: <878r9w8548.fsf@web.de> Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17703"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Gerd =?UTF-8?Q?M=C3=B6llmann?= , 65516@debbugs.gnu.org To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Aug 28 05:27:15 2023 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 1qaSuI-0004Ox-KP for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 28 Aug 2023 05:27:14 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qaSu3-0004zQ-2X; Sun, 27 Aug 2023 23:26:59 -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 1qaSu0-0004yW-L7 for bug-gnu-emacs@gnu.org; Sun, 27 Aug 2023 23:26:56 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qaSu0-0003Q7-AV for bug-gnu-emacs@gnu.org; Sun, 27 Aug 2023 23:26:56 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qaSu6-0000ZO-C9 for bug-gnu-emacs@gnu.org; Sun, 27 Aug 2023 23:27:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 28 Aug 2023 03:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65516 X-GNU-PR-Package: emacs Original-Received: via spool by 65516-submit@debbugs.gnu.org id=B65516.16931932112173 (code B ref 65516); Mon, 28 Aug 2023 03:27:02 +0000 Original-Received: (at 65516) by debbugs.gnu.org; 28 Aug 2023 03:26:51 +0000 Original-Received: from localhost ([127.0.0.1]:46579 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qaStu-0000Yz-Tr for submit@debbugs.gnu.org; Sun, 27 Aug 2023 23:26:51 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:64751) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qaSts-0000Yk-DJ for 65516@debbugs.gnu.org; Sun, 27 Aug 2023 23:26:49 -0400 Original-Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 56FFF100084; Sun, 27 Aug 2023 23:26:36 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1693193195; bh=diTiQknlBxTZ2KAnuMB/ewKxVnrQHBdBuEBFzRBd6GY=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=DOPHpIHXW4QyVEgHZQHjU04s5uG9Ub5ZuBlSwqt5kHzjNlNNfD4Kr0bJXjEZHHJfB 9hYBisI9o/UDbYcF+fJsFL6nmjIQ+OHn1o2jBYUiKsz6RnQHIhdoBWW5qLuSmRvct7 z4i/TF+BBNOK1DGQai0JDMr/nR0QFdnUB7Kd0piqVZpS02HcIEbgsfR8+u0rEOucnR WIFQQXRZMnw7anZ7ivtxym4UPlwvR2P7FHVO86u8Os7qZ6D/mXhaBjnglHlaoPXFWT MQnza8Wj6PZWd808BMc2Cv9WyBE2ZmfnbPlFaieDgn4olmuSFJSWWS8SU4157UBlBN /L17EFW8vqoow== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 10C2B100064; Sun, 27 Aug 2023 23:26:35 -0400 (EDT) Original-Received: from pastel (unknown [108.175.234.188]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id D415C1200D7; Sun, 27 Aug 2023 23:26:34 -0400 (EDT) In-Reply-To: <878r9w8548.fsf@web.de> (Michael Heerdegen's message of "Mon, 28 Aug 2023 00:58:31 +0200") 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-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:268601 Archived-At: Michael Heerdegen [2023-08-28 00:58:31] wrote: > Stefan Monnier writes: >> Hmm... actually, looking at `def-form` again it seems it doesn't use >> `&define` nor `(edebug-)gate`. > Dunno if this helps, I'm understanding it only half, but AFAIU, > `def-form` falls back to `edebug-form' which looks at &define and uses > `edebug-gate' indirectly when calling `edebug-list-form'. Hmm... Could be, indeed. In any case, this "gate" business is quite messy. I'd be tempted to start removing uses of it, bit by bit, to try and see what breaks. And if needed, maybe add a new replacement for it that would be better defined (I'm imagining a kind of "scoped gate", which could look like `[&gate-in ... [&gate-lock ...SPECS...] ...]` such that if `...SPECS...` fails to match, we propagate this failure immediately up to the `gate-in`). This way [&gate-in [&or ["foo" &gate-lock ...] ["foo" "bar"]]] would never fallback to ["foo" "bar"] whereas [&or [&gate-in ["foo" &gate-lock ...]] ["foo" "bar"]]] would fallback to ["foo" "bar"] if "..." fails to match. Stefan