From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Gerd =?UTF-8?Q?M=C3=B6llmann?= Newsgroups: gmane.emacs.bugs Subject: bug#65516: 30.0.50; Edebug behavior of signaling errors in &or Date: Sat, 26 Aug 2023 14:04:22 +0200 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4878"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 65516@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Aug 26 14:05:06 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 1qZs2M-00012v-3X for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 26 Aug 2023 14:05:06 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qZs2F-0004AQ-Sy; Sat, 26 Aug 2023 08:04: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 1qZs2C-00049w-Vb for bug-gnu-emacs@gnu.org; Sat, 26 Aug 2023 08:04:57 -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 1qZs2C-0004y2-H7 for bug-gnu-emacs@gnu.org; Sat, 26 Aug 2023 08:04:56 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qZs2H-00053m-L3 for bug-gnu-emacs@gnu.org; Sat, 26 Aug 2023 08:05:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Gerd =?UTF-8?Q?M=C3=B6llmann?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 26 Aug 2023 12:05:01 +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.169305147719416 (code B ref 65516); Sat, 26 Aug 2023 12:05:01 +0000 Original-Received: (at 65516) by debbugs.gnu.org; 26 Aug 2023 12:04:37 +0000 Original-Received: from localhost ([127.0.0.1]:41852 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qZs1t-000534-8V for submit@debbugs.gnu.org; Sat, 26 Aug 2023 08:04:37 -0400 Original-Received: from mail-ed1-x52e.google.com ([2a00:1450:4864:20::52e]:45258) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qZs1r-00052s-QV for 65516@debbugs.gnu.org; Sat, 26 Aug 2023 08:04:36 -0400 Original-Received: by mail-ed1-x52e.google.com with SMTP id 4fb4d7f45d1cf-52a40cf952dso2490622a12.2 for <65516@debbugs.gnu.org>; Sat, 26 Aug 2023 05:04:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693051464; x=1693656264; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=gUqfB+GtLML1/GeFrsmSqThrkbhLa+Nm6jIEJNUhi5I=; b=DVonztLJ6x3BSN6PiJuNlKa9Z05HOISY0uZjpSm/WG9tT1xXsTAgnFYM14fURCIQ71 WOk3kp1c5/c0RXXqOiNE0NEyUa5MtbQEOfceEx4hliR1tnI95uIAbN+nVKBHJWGePMhS Kii1lPDQt7yfiuYBfVrVRaUDqIZg5RBzNKXXGALKnLjn8rlUQIBK2OIFUEvKXuMVPqYL blY+SSRKNKYmIHooa3lL+CwH04y0TUENjhPmNbFjfD5EkeV7bpLCh5wuR6vxqagv9mH1 OCNXkkJQKLgaK7u6KqXpeaVZuXESy6BMd3cf47vHSP2IzEZEMjGkOzXczml+JaTb0wEy F1oA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693051464; x=1693656264; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=gUqfB+GtLML1/GeFrsmSqThrkbhLa+Nm6jIEJNUhi5I=; b=hT//Og5c+aylhtMLJsClJqmCA2TqwoK1jdovw4D33mkpcG7r66536lpvHb7f/hpXns WsMWVhAJVdLYVEUF02e4YoJMWPQ1L7cqYz9c4n2Onw9dkchhKRlTZNDCUSm0qfZHm5qo FMI/eexwtKtZcrY3TOLGuFb7zkhOu0k7CC0xBVV467WtJjs9cw0xqex8QHrpjwMmDI2x 04uddsUsCiGXJFj4LbduWBbFCOAFxW5ml3A6T4AFRFu/VXboTto7Nyt239sqXKS91g1z 1j4qqJeypj4TEigZBwva2V6sTiY57+rA0nXp46mASZkoP9EkiukWXfTSryJmDcnyGMP1 J5Sg== X-Gm-Message-State: AOJu0YwN8fTrTZCvldbokaAEF0PkneyzVwIgly2YWJs77ladhR82EPmm Mk8OOslmRbdDkF22qIHj9wNxgviZqWChyQ== X-Google-Smtp-Source: AGHT+IHpiv8UsU3Iv90EySQ6M6f5EB21ZQjZKbrDvfg2dTAcmG5KwOoOa9MvVnRN4bFdhtkN5hWdXQ== X-Received: by 2002:a17:906:59:b0:9a2:295a:9bc5 with SMTP id 25-20020a170906005900b009a2295a9bc5mr4576427ejg.21.1693051464061; Sat, 26 Aug 2023 05:04:24 -0700 (PDT) Original-Received: from Mini.fritz.box (pd9e36ea3.dip0.t-ipconnect.de. [217.227.110.163]) by smtp.gmail.com with ESMTPSA id ju26-20020a17090798ba00b00982a352f078sm2111367ejc.124.2023.08.26.05.04.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 26 Aug 2023 05:04:23 -0700 (PDT) In-Reply-To: ("Gerd =?UTF-8?Q?M=C3=B6llmann?="'s message of "Fri, 25 Aug 2023 08:28:26 +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:268502 Archived-At: Gerd M=C3=B6llmann writes: > This is a followup to bug#65344, which see. > > When Edebug matches a debug spec > > (&or (... def-form) > (...)) > > and the form matched against is not something def-form matches, > an invalid-read-error is signaled, regardless of the context in which > def-form appears. That means the second sub-clause of the &or never > gets a chance to match. > > This is not limited to def-form and not limited to &or (think > ¬, for example). > > In GNU Emacs 30.0.50 (build 2, aarch64-apple-darwin22.6.0, NS > appkit-2299.70 Version 13.5 (Build 22G74)) of 2023-08-24 built on > Mini.fritz.box > Repository revision: 53c07bd04bf59f63e49af2c626714bf3fdd03ad6 > Repository branch: scratch/pkg > Windowing system distributor 'Apple', version 10.3.2299 > System Description: macOS 13.5 Hi Stefan, I have a question that I hope you can help me with because you did a lot of improvemnts there. The question is not very important, but it's one of those times when I can't make sense of something, and that starts nagging me a bit :-). My question is about edebug-no-match. Do you perhaps have an idea what the reason might be why it ever chooses to signal an error instead of just throwing no-match? I've looked through the history of edebug.el, to find out what the use-case for signaling is, but that's difficult to follow, and I failed to find the answer. Probably I'm overlooking something obvious, as usual :-).