GNU bug report logs - #46573
28.0.50; Error when edebugging setting unbound place

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: emacs; Reported by: Michael Heerdegen <michael_heerdegen@HIDDEN>; dated Tue, 16 Feb 2021 22:34:02 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.

Message received at 46573 <at> debbugs.gnu.org:


Received: (at 46573) by debbugs.gnu.org; 17 Feb 2021 00:00:56 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 19:00:56 2021
Received: from localhost ([127.0.0.1]:42030 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lCAH2-0007T8-3P
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 19:00:56 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:19241)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lCAH0-0007Ml-8R
 for 46573 <at> debbugs.gnu.org; Tue, 16 Feb 2021 19:00:54 -0500
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id A476480C11;
 Tue, 16 Feb 2021 19:00:48 -0500 (EST)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 2147C8022C;
 Tue, 16 Feb 2021 19:00:47 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1613520047;
 bh=rfd8mxm+g1MfZS0LliYxfsqwfTScBCIl6hOWy1XrHUY=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=HfIfVuBmAqS8M3o+ch90SJdR66TnHISHTJwh97WNMSZUDL7Yiq3ncSFvzZTeZ8JdU
 QN7Bni9aHrCuzurkSj0b30eXGgQUS9cPd6H9pxD/w1g1o2hjZw+SeuMsb2jtNVBVZm
 B006WPJi+7afIQ/v0vpVIjbd21ZVx2e8rv/IoIYJp0ojuJLZ/2EOLYx13Hm+dECHDO
 pQr0S6r1BfroZ8UaiHWAW8Yi+HAfH7BRj2zScQ5UfC4DYJdlVf4NfSQ6qzblhA99/r
 9W/YDW3sisp29US1GzVBw+T3fuu8u9Pq4EISwYT+fqIzuEEhzicgAPYwkJfqIlELKN
 OwbTYYly9VtSg==
Received: from alfajor (unknown [216.154.41.47])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 9BBE712045A;
 Tue, 16 Feb 2021 19:00:46 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
To: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: Re: bug#46573: 28.0.50; Error when edebugging setting unbound place
Message-ID: <jwvczwzy3p2.fsf-monnier+emacs@HIDDEN>
References: <87v9ar1w4l.fsf@HIDDEN> <87mtw3r5hr.fsf@HIDDEN>
 <jwvk0r7y5tw.fsf-monnier+emacs@HIDDEN> <8735xvr4o2.fsf@HIDDEN>
Date: Tue, 16 Feb 2021 19:00:45 -0500
In-Reply-To: <8735xvr4o2.fsf@HIDDEN> (Lars Ingebrigtsen's message of "Wed,
 17 Feb 2021 00:09:17 +0100")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.085 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 46573
Cc: Michael Heerdegen <michael_heerdegen@HIDDEN>,
 Gemini Lasswell <gazally@HIDDEN>, 46573 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

>>> (put 'gv-place 'edebug-form-spec '(form)) ;So-called "indirect spec".
>>>
>>> That's certainly not correct for the simplest forms like
>>
>> This has been there since the introduction of `gv`, so I think it
>> *is* correct.  The problem is elsewhere (likely introduced by some of
>> my recent changes to Edebug).
>
> Darn!  I thought I had finally learned how to read edebug specs.  :-/  I
> though `form' meant that it's going to be instrumented?  Hm...  but it's
> `(form)' which means, er, uhm.

Yes, it means Edebug rewrites (setf x 5) to something like:

    (edebug-after (edebug-before 1) 3 (setf (edebug-after 0 2 x) 5))

Whose behavior then depends on the definition of (edebug-after N1 N2 EXP)
as a "place", which is here:

    (put 'edebug-after 'gv-expander
         (lambda (do before index place)
           (gv-letplace (getter setter) place
             (funcall do `(edebug-after ,before ,index ,getter)
                      (lambda (store)
                        `(progn (edebug-after ,before ,index ,getter)
                                ,(funcall setter store)))))))

and indeed, there's the bug, introduced by Gemini's commit
d79cf638f278e50c22feb53d6ba556f5ce9d7853 which does (among various other
things):

    [...]
    * lisp/emacs-lisp/gv.el: Modify edebug-after's gv-expander to
    instrument in the setter as well as the getter.
    [...]

    diff --git a/lisp/emacs-lisp/gv.el b/lisp/emacs-lisp/gv.el
    --- a/lisp/emacs-lisp/gv.el
    +++ b/lisp/emacs-lisp/gv.el
    @@ -302,5 +302,7 @@
     (put 'edebug-after 'gv-expander
          (lambda (do before index place)
            (gv-letplace (getter setter) place
              (funcall do `(edebug-after ,before ,index ,getter)
    -                  setter))))
    +                  (lambda (store)
    +                    `(progn (edebug-after ,before ,index ,getter)
    +                            ,(funcall setter store)))))))

Gemini, how important is it to instrument the setter?  It is definitely
undesirable for Edebug, which you end up seeing the result of
computations which don't take place at all during
un-instrumented execution.  How 'bout using something like

    `(edebug-after ,before ,index ,(funcall setter store))

instead?


        Stefan





Information forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.

Message received at 46573 <at> debbugs.gnu.org:


Received: (at 46573) by debbugs.gnu.org; 16 Feb 2021 23:21:29 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 18:21:29 2021
Received: from localhost ([127.0.0.1]:41975 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lC9er-0005cO-3u
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:21:29 -0500
Received: from quimby.gnus.org ([95.216.78.240]:57928)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1lC9ep-0005cB-Jc
 for 46573 <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:21:27 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=ebfN7C8jcl1ZdOeJdTjmOAb52mNN0NJtD2uRPpmZIEM=; b=gr/9TV9qIKL/Uy5KQMSXmIkjZT
 OLkPHQb1tYdSQJYaKrm2RPi/xdMhQbxJu/EwTSY0H1x966X1tmlMCBWPygb7jzEJCz/KsefYXrfFL
 Q5mbF7ECzBS/gtNwgTCTBIEAmNHaXHGizaSxa1Nj1Mhhy7Rlvpxmq/u7MNPAyEYuCBUE=;
Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1lC9eh-0001aT-AJ; Wed, 17 Feb 2021 00:21:21 +0100
From: Lars Ingebrigtsen <larsi@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>
Subject: Re: bug#46573: 28.0.50; Error when edebugging setting unbound place
References: <87v9ar1w4l.fsf@HIDDEN> <87mtw3r5hr.fsf@HIDDEN>
 <jwvk0r7y5tw.fsf-monnier+emacs@HIDDEN> <8735xvr4o2.fsf@HIDDEN>
 <87y2fnppn5.fsf@HIDDEN>
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAgMAAAAqbBEUAAAABGdBTUEAALGPC/xhBQAAACBj
 SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAADFBMVEXs6ueHdGmuqrf/
 ///FSMiWAAAAAWJLR0QDEQxM8gAAAAd0SU1FB+UCEBYiIVP0rdIAAAGFSURBVCjPTZIxixsxEIXn
 BAux+vRuDI5+RcqULiyxVrUEEpL9FZuFK+zKBGTutlrMaZHer8yb9UFOheDTjGbmPUlEDvJ/bVox
 RQRQ+NKKxWBTGAi7ozjMjfcEs0LZBd9ppGV++Zwq4ZNCX9IJV0JuTQ7lRfDCtPzriXA1WPTOTHi7
 blZw87mGqdtoV4PxhJC6BhjE3P94hNg1/TKILeIR+1OOWCEB8P4dXnvcgP5GmCVGMKiR54NxwMQI
 Sz+3LGoDKmZqOzYqcbrpvvONGCOpWy3wP9iYKaKyV726ePD03XcGezGyZdpmFf8A2qLiP4DDYPSO
 JAIwG821D1ggjh5n/5UQ74YtFuRB4VzoYg0cHbWvOB+k+n4WVxHN2Er97YvYXMN4IfhwFZOzv3+b
 FNg6p3T5q3Dc09aEZQdCS09cGv1FobOx2FTHWKTGoanBpJ9bR2hpQ5A8uKWIC9tM5VafnFPP2Vf+
 EkMr7Gpnef8uKHsKfdig+qZ7+QDTIBzDrif6nGkQ9w+MhbkQFffadAAAACV0RVh0ZGF0ZTpjcmVh
 dGUAMjAyMS0wMi0xNlQyMjozNDozMiswMDowMLMcBzMAAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjEt
 MDItMTZUMjI6MzQ6MzIrMDA6MDDCQb+PAAAAAElFTkSuQmCC
X-Now-Playing: Carl Gari & Abdullah Miniawy's _The Wire Tapper 51_: "Zawaj"
Date: Wed, 17 Feb 2021 00:21:17 +0100
In-Reply-To: <87y2fnppn5.fsf@HIDDEN> (Lars Ingebrigtsen's message of "Wed,
 17 Feb 2021 00:19:10 +0100")
Message-ID: <87r1lfppjm.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  I checked older Emacs versions -- (setf foo 'bar) works in
 Emacs 26.1, but not in Emacs 27.1. So I suspect it's not the recent changes
 that broke this? -- (domestic pets only, the antidote for overdose, milk.)
 bloggy blog: http://lars.ingebrigtsen.no 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 46573
Cc: Michael Heerdegen <michael_heerdegen@HIDDEN>, 46573 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

I checked older Emacs versions -- (setf foo 'bar) works in Emacs 26.1,
but not in Emacs 27.1.  So I suspect it's not the recent changes that
broke this?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no





Information forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.

Message received at 46573 <at> debbugs.gnu.org:


Received: (at 46573) by debbugs.gnu.org; 16 Feb 2021 23:19:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 18:19:27 2021
Received: from localhost ([127.0.0.1]:41971 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lC9ct-0005Yv-MD
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:19:27 -0500
Received: from quimby.gnus.org ([95.216.78.240]:57898)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1lC9cr-0005Yh-U3
 for 46573 <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:19:26 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=WD758UeQiv+Ibi73EAvJMKPbFq8MiFIekfZEujGCmD0=; b=psneBBPwvWu+MndAS0AimOIbLL
 jIEdkHLt03DYNd40PDXNKX2mzIgS1h6UWy0FusVtEFKujDSH/sNTkvIwZzbtV9/Qp6hK6yxWENoLB
 O5Unv29XczDeWzoBr3Ddy1S4YOEm0viCYO5EBSDG8lzVC4UwhMoWgCqbPqZaAJotfZqg=;
Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1lC9cd-0001Zf-Na; Wed, 17 Feb 2021 00:19:19 +0100
From: Lars Ingebrigtsen <larsi@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>
Subject: Re: bug#46573: 28.0.50; Error when edebugging setting unbound place
References: <87v9ar1w4l.fsf@HIDDEN> <87mtw3r5hr.fsf@HIDDEN>
 <jwvk0r7y5tw.fsf-monnier+emacs@HIDDEN> <8735xvr4o2.fsf@HIDDEN>
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAgMAAAAqbBEUAAAABGdBTUEAALGPC/xhBQAAACBj
 SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAADFBMVEXs6ueHdGmuqrf/
 ///FSMiWAAAAAWJLR0QDEQxM8gAAAAd0SU1FB+UCEBYiIVP0rdIAAAGFSURBVCjPTZIxixsxEIXn
 BAux+vRuDI5+RcqULiyxVrUEEpL9FZuFK+zKBGTutlrMaZHer8yb9UFOheDTjGbmPUlEDvJ/bVox
 RQRQ+NKKxWBTGAi7ozjMjfcEs0LZBd9ppGV++Zwq4ZNCX9IJV0JuTQ7lRfDCtPzriXA1WPTOTHi7
 blZw87mGqdtoV4PxhJC6BhjE3P94hNg1/TKILeIR+1OOWCEB8P4dXnvcgP5GmCVGMKiR54NxwMQI
 Sz+3LGoDKmZqOzYqcbrpvvONGCOpWy3wP9iYKaKyV726ePD03XcGezGyZdpmFf8A2qLiP4DDYPSO
 JAIwG821D1ggjh5n/5UQ74YtFuRB4VzoYg0cHbWvOB+k+n4WVxHN2Er97YvYXMN4IfhwFZOzv3+b
 FNg6p3T5q3Dc09aEZQdCS09cGv1FobOx2FTHWKTGoanBpJ9bR2hpQ5A8uKWIC9tM5VafnFPP2Vf+
 EkMr7Gpnef8uKHsKfdig+qZ7+QDTIBzDrif6nGkQ9w+MhbkQFffadAAAACV0RVh0ZGF0ZTpjcmVh
 dGUAMjAyMS0wMi0xNlQyMjozNDozMiswMDowMLMcBzMAAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjEt
 MDItMTZUMjI6MzQ6MzIrMDA6MDDCQb+PAAAAAElFTkSuQmCC
X-Now-Playing: The Idealist's _The Wire Tapper 51_: "Bad Things Happen Dub"
Date: Wed, 17 Feb 2021 00:19:10 +0100
In-Reply-To: <8735xvr4o2.fsf@HIDDEN> (Lars Ingebrigtsen's message of "Wed,
 17 Feb 2021 00:09:17 +0100")
Message-ID: <87y2fnppn5.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview: Lars Ingebrigtsen <larsi@HIDDEN> writes: > Darn! I thought
 I had finally learned how to read edebug specs. :-/ I > though `form' meant
 that it's going to be instrumented? Hm... but it's > `(form)' which means,
 er, uhm. 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 46573
Cc: Michael Heerdegen <michael_heerdegen@HIDDEN>, 46573 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Lars Ingebrigtsen <larsi@HIDDEN> writes:

> Darn!  I thought I had finally learned how to read edebug specs.  :-/  I
> though `form' meant that it's going to be instrumented?  Hm...  but it's
> `(form)' which means, er, uhm.

Oh, it still means `form':

If the symbol has an Edebug specification, this @dfn{indirect
specification} should be either a list specification that is used in
place of the symbol

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.

Message received at 46573 <at> debbugs.gnu.org:


Received: (at 46573) by debbugs.gnu.org; 16 Feb 2021 23:09:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 18:09:30 2021
Received: from localhost ([127.0.0.1]:41956 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lC9TG-0005Jp-LJ
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:09:30 -0500
Received: from quimby.gnus.org ([95.216.78.240]:57856)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1lC9TF-0005Jc-A3
 for 46573 <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:09:29 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=sfOkF8oiqIh2G1dYAfFmb5lIv+ILPshGm8IvCKfHZDA=; b=fkYTJ9C496UnvMrwdNvCCK1Xb/
 o7TOjfcEd0ricM9Lv36fCPzjiRGnxSO5aEcOXZ5/LK/mXydwRy6k4J4GwdGkxWV77+cSrJiaVCu42
 JnjkofJXEj8M4DmQLOScBm0PIfE4NWgcFdIHwcKCZBD6JLNcbH2m6OvTWp59ROW57gUk=;
Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1lC9T5-0001RR-7p; Wed, 17 Feb 2021 00:09:22 +0100
From: Lars Ingebrigtsen <larsi@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>
Subject: Re: bug#46573: 28.0.50; Error when edebugging setting unbound place
References: <87v9ar1w4l.fsf@HIDDEN> <87mtw3r5hr.fsf@HIDDEN>
 <jwvk0r7y5tw.fsf-monnier+emacs@HIDDEN>
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAgMAAAAqbBEUAAAABGdBTUEAALGPC/xhBQAAACBj
 SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAADFBMVEXs6ueHdGmuqrf/
 ///FSMiWAAAAAWJLR0QDEQxM8gAAAAd0SU1FB+UCEBYiIVP0rdIAAAGFSURBVCjPTZIxixsxEIXn
 BAux+vRuDI5+RcqULiyxVrUEEpL9FZuFK+zKBGTutlrMaZHer8yb9UFOheDTjGbmPUlEDvJ/bVox
 RQRQ+NKKxWBTGAi7ozjMjfcEs0LZBd9ppGV++Zwq4ZNCX9IJV0JuTQ7lRfDCtPzriXA1WPTOTHi7
 blZw87mGqdtoV4PxhJC6BhjE3P94hNg1/TKILeIR+1OOWCEB8P4dXnvcgP5GmCVGMKiR54NxwMQI
 Sz+3LGoDKmZqOzYqcbrpvvONGCOpWy3wP9iYKaKyV726ePD03XcGezGyZdpmFf8A2qLiP4DDYPSO
 JAIwG821D1ggjh5n/5UQ74YtFuRB4VzoYg0cHbWvOB+k+n4WVxHN2Er97YvYXMN4IfhwFZOzv3+b
 FNg6p3T5q3Dc09aEZQdCS09cGv1FobOx2FTHWKTGoanBpJ9bR2hpQ5A8uKWIC9tM5VafnFPP2Vf+
 EkMr7Gpnef8uKHsKfdig+qZ7+QDTIBzDrif6nGkQ9w+MhbkQFffadAAAACV0RVh0ZGF0ZTpjcmVh
 dGUAMjAyMS0wMi0xNlQyMjozNDozMiswMDowMLMcBzMAAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjEt
 MDItMTZUMjI6MzQ6MzIrMDA6MDDCQb+PAAAAAElFTkSuQmCC
X-Now-Playing: Hieroglyphic Being's _The Wire Tapper 51_: "Timbuk2 {edit)"
Date: Wed, 17 Feb 2021 00:09:17 +0100
In-Reply-To: <jwvk0r7y5tw.fsf-monnier+emacs@HIDDEN> (Stefan Monnier's message
 of "Tue, 16 Feb 2021 18:04:41 -0500")
Message-ID: <8735xvr4o2.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  Stefan Monnier <monnier@HIDDEN> writes: >> (put
 'gv-place 'edebug-form-spec '(form)) ; So-called "indirect spec". >> >> That's
 certainly not correct for the simplest forms like > > This has been there
 since the introduction of `gv`, so I thi [...] 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 46573
Cc: Michael Heerdegen <michael_heerdegen@HIDDEN>, 46573 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Stefan Monnier <monnier@HIDDEN> writes:

>> (put 'gv-place 'edebug-form-spec '(form)) ;So-called "indirect spec".
>>
>> That's certainly not correct for the simplest forms like
>
> This has been there since the introduction of `gv`, so I think it
> *is* correct.  The problem is elsewhere (likely introduced by some of
> my recent changes to Edebug).

Darn!  I thought I had finally learned how to read edebug specs.  :-/  I
though `form' meant that it's going to be instrumented?  Hm...  but it's
`(form)' which means, er, uhm.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.

Message received at 46573 <at> debbugs.gnu.org:


Received: (at 46573) by debbugs.gnu.org; 16 Feb 2021 23:04:51 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 18:04:51 2021
Received: from localhost ([127.0.0.1]:41952 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lC9Ol-0005DG-3G
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:04:51 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:51602)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lC9Oj-0005D4-N1
 for 46573 <at> debbugs.gnu.org; Tue, 16 Feb 2021 18:04:50 -0500
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 7735380ECE;
 Tue, 16 Feb 2021 18:04:44 -0500 (EST)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id F14D980B6D;
 Tue, 16 Feb 2021 18:04:42 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1613516682;
 bh=pBUxfE/5IAQpbqw1iUbiL4damTEcNkohEFATyNf02QU=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=G1YLWUDTRQRfZ8+/TVSK22ZD4j2DPF9NX6AYyTE6RHnxWDbn5Fde8RGPOsOGtE6pI
 yNmzRbapyAftcQE0syyaI5rYDF6swlcBNxnZtLKikv3R0/ypYdeR0YAddLkbb5TsxN
 oESFlSwlOx5BQOWunIRT7XNezWySh23Pn0VeZjPN/mNGBtS6/6Zj3hlIm4EsyDXopC
 Ku8jX9nzjbSEHOv6nc9feuErfnifs1s63hFemrOlGwn/+5K6lNMcWs4a4yEihaSNns
 Je3a7YdaYAfaQcxXR2heHtkYiGZ/yJtDdryJf25hZtm7aO/wZ33oZuBTdvgqieWd1f
 JZflUWN/oj95g==
Received: from alfajor (unknown [216.154.41.47])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id B53E1120273;
 Tue, 16 Feb 2021 18:04:42 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
To: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: Re: bug#46573: 28.0.50; Error when edebugging setting unbound place
Message-ID: <jwvk0r7y5tw.fsf-monnier+emacs@HIDDEN>
References: <87v9ar1w4l.fsf@HIDDEN> <87mtw3r5hr.fsf@HIDDEN>
Date: Tue, 16 Feb 2021 18:04:41 -0500
In-Reply-To: <87mtw3r5hr.fsf@HIDDEN> (Lars Ingebrigtsen's message of "Tue,
 16 Feb 2021 23:51:28 +0100")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.085 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 46573
Cc: Michael Heerdegen <michael_heerdegen@HIDDEN>, 46573 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

>> when edebugging something like
>>
>>   (setf PLACE VALUE)
>>
>> Edebug stops after PLACE and displays its "binding". 

Hmm... looks like we have a bug.

> This is due to this definition:
>
> ;; Autoload this `put' since a user might use C-u C-M-x on an expression
> ;; containing a non-trivial `push' even before gv.el was loaded.
> ;;;###autoload
> (put 'gv-place 'edebug-form-spec '(form)) ;So-called "indirect spec".
>
> That's certainly not correct for the simplest forms like

This has been there since the introduction of `gv`, so I think it
*is* correct.  The problem is elsewhere (likely introduced by some of
my recent changes to Edebug).


        Stefan





Information forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.

Message received at 46573 <at> debbugs.gnu.org:


Received: (at 46573) by debbugs.gnu.org; 16 Feb 2021 22:51:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 17:51:41 2021
Received: from localhost ([127.0.0.1]:41933 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lC9C0-0004rr-Ov
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 17:51:40 -0500
Received: from quimby.gnus.org ([95.216.78.240]:57596)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1lC9Bz-0004rd-8s
 for 46573 <at> debbugs.gnu.org; Tue, 16 Feb 2021 17:51:39 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=dNXyqmAutIXWzixTcfKn6USMWgjRuF13xthQJD4h5Eg=; b=FpIrB/mcJxgFdpgyOhdh2K+4AY
 K6dHba+bUZOPbBLabJ2gwmA9h36lEZ/tXREw11flfraUz0dvQ0ziJ+I7iFn53niWkB1stQsf/lI71
 S+fjzYLoyZ1Nzf5mViDR2kSae+0LdOL+Clzv90PdDoh2etRkwCyytc7jfB5vC3EOB3k0=;
Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1lC9Bp-0001Gy-S9; Tue, 16 Feb 2021 23:51:32 +0100
From: Lars Ingebrigtsen <larsi@HIDDEN>
To: Michael Heerdegen <michael_heerdegen@HIDDEN>
Subject: Re: bug#46573: 28.0.50; Error when edebugging setting unbound place
References: <87v9ar1w4l.fsf@HIDDEN>
X-Now-Playing: The Art Ensemble of Chicago's _The Wire Tapper 51_: "We Are
 On The Edge (Radio Edit)"
Date: Tue, 16 Feb 2021 23:51:28 +0100
In-Reply-To: <87v9ar1w4l.fsf@HIDDEN> (Michael Heerdegen's message of "Tue, 16
 Feb 2021 23:32:58 +0100")
Message-ID: <87mtw3r5hr.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview: Michael Heerdegen <michael_heerdegen@HIDDEN> writes: > when
 edebugging something like > > (setf PLACE VALUE) > > Edebug stops after PLACE
 and displays its "binding". This is due to this definition: 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 46573
Cc: Stefan Monnier <monnier@HIDDEN>, 46573 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Michael Heerdegen <michael_heerdegen@HIDDEN> writes:

> when edebugging something like
>
>   (setf PLACE VALUE)
>
> Edebug stops after PLACE and displays its "binding". 

This is due to this definition:

;; Autoload this `put' since a user might use C-u C-M-x on an expression
;; containing a non-trivial `push' even before gv.el was loaded.
;;;###autoload
(put 'gv-place 'edebug-form-spec '(form)) ;So-called "indirect spec".

That's certainly not correct for the simplest forms like

(setf foo 'bar)

And it's not really correct for things like

(setf (gethash 1 table) 'bar)

either, is it?  (Although it is amusing to see the results of
(gethash 1 table), it's not really helpful.)

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 16 Feb 2021 22:33:09 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 16 17:33:09 2021
Received: from localhost ([127.0.0.1]:41920 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lC8u5-0002KB-7c
	for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 17:33:09 -0500
Received: from lists.gnu.org ([209.51.188.17]:41110)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <michael_heerdegen@HIDDEN>) id 1lC8u3-0002K2-JZ
 for submit <at> debbugs.gnu.org; Tue, 16 Feb 2021 17:33:07 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10]:37222)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <michael_heerdegen@HIDDEN>)
 id 1lC8u3-0003He-CH
 for bug-gnu-emacs@HIDDEN; Tue, 16 Feb 2021 17:33:07 -0500
Received: from mout.web.de ([212.227.15.4]:34071)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <michael_heerdegen@HIDDEN>)
 id 1lC8u1-0003Fp-IO
 for bug-gnu-emacs@HIDDEN; Tue, 16 Feb 2021 17:33:07 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de;
 s=dbaedf251592; t=1613514779;
 bh=JOfUOW0uNkkvdlmCbpOG1qb4vO4Q2YQNkubH2zarkwc=;
 h=X-UI-Sender-Class:From:To:Cc:Subject:Date;
 b=byqfB5NABIpUGBpxTBM826Zw70vcz7P9eAbEr0/bpghZW44zQwMWIM9efDqJo6G74
 NKfmDe9Pb/3NG1DjmZgA6aewhQv7BcI984ZdSy9YFY5rfOASNQwrim4hi+AkETuBjk
 JSXyKnrUI2YyszpCSIvvUyE1pov1Jk4PBFNuPfsA=
X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9
Received: from drachen.dragon ([94.218.220.60]) by smtp.web.de (mrweb002
 [213.165.67.108]) with ESMTPSA (Nemesis) id 0Lzrwh-1lzUMq1bxT-014zOF; Tue, 16
 Feb 2021 23:32:59 +0100
From: Michael Heerdegen <michael_heerdegen@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 28.0.50; Error when edebugging setting unbound place
Date: Tue, 16 Feb 2021 23:32:58 +0100
Message-ID: <87v9ar1w4l.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Provags-ID: V03:K1:28fXVebdM1GJWZj1erV++rOX/ULSLpOCo5K2DbhdwZE6Q5qB4m/
 YbhMWHWFRCwLkPc9SVoupLwciyVidgH7Gb0N+YwwVBSTmP9sfGPQqwVA4NdhXygvzSnMweN
 Y/jzoml5UV2pSsVlDJx+pwMFQJyyyH2UFi9ZIV56b14pHwHMh3WKof7jspa3R1A3a9j9CWU
 Z7+HTeAgnBTkoq3KaoaWw==
X-Spam-Flag: NO
X-UI-Out-Filterresults: notjunk:1;V03:K0:t+1ImJ0hxHs=:Lc8UsPVlpSTgCyMFbxo9ne
 eW8o9pvaGLyKlmbDpy4dGH0Sv/ALjvhuF0B535xPJ0SfeB8eMAU8h5FZqBV6pwqV9/788O0h/
 di1HnvNBj6FqEGh7Df+63WAfMEYWwI9kgbk9dzMM/0qS8qGrGPKQX1+W+/4cWaYE4nOYNWK7k
 uRNt3BvNY0sJs9YLLZWTejO4IjzoA0ILyGDzjPOX3T5JPjJc4F3LjZraMjbDQ+nYSp4LN486Y
 45PL8by+in647xGp6ER57+scEr2LF7x//g1ItiLwMcPaqkrUyrQhxVfLSs33qYmrF3kXqOb0H
 myJSA+1vkOTvfuw0S3XLxHDdLLPooEC4AQ821XzFIpi3DKi4T1EQuVcidgdYXH2zPf9f2j9cx
 VnJB2nR1Pvv/MUHXz9fK0KFjwhCqWCxohMZHX5Mm0ensYqeetHNX1N19NYZu4kbPsCSH8HgXO
 6b4ictHRlLo/NfHIojic/tW6zs6JVvpQ9NcU3pSxS55czafNZb6Xmz+5ilMygvceWA7MnAbKO
 LOVAmuDECvDBhIp9BI1lMV8jUCK15MdiBZ46+C+EhnStwHkQVUm4KYTx9TPznV76W/Uj2PiFC
 vSzkrI/CGODEMXkF0B9g057f3BDqsfwY6+9v0UvpZHzTcY8tQ4+1nZlHih/7SEzuHSnSwattC
 mlCton9LRf7rsH97uUBWNDL2dKK949J+ayO6+wykQBYnQDErXI5+wE4JGCKM8rQUBRHPnaSVQ
 wXQ3OBLk7eu8PdYIzF1RE4ebQtJl4wXQ4b/peFsUfTHpc99KulyF8hUP199SrNhSG3J6Vd6tN
 rwN3qXWgn883ycbVF6NPPuLlyhPu1dVP9LMoQp/CzNKIwYTuPnUKCF8NXDUiY/rg8ep7/gWLx
 zWfW2DbHk0oVXcATvuiixZh7ijTF14UQTh2aWOahE=
Received-SPF: pass client-ip=212.227.15.4;
 envelope-from=michael_heerdegen@HIDDEN; helo=mout.web.de
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.3 (/)
X-Debbugs-Envelope-To: submit
Cc: Lars Ingebrigtsen <larsi@HIDDEN>,
 Stefan Monnier <monnier@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.4 (--)


Hello,

when edebugging something like

  (setf PLACE VALUE)

Edebug stops after PLACE and displays its "binding".  While that would
make some sense for e.g. `cl-callf', in the above situation the behavior
is confusing because when the code is run the binding of PLACE is never
referenced, so this suggests that the code uses the binding of PLACE in
some way which is not the case.

But when PLACE is even unbound (e.g. and unbound variable, or an unbound
eieio-object slot [a totally legitimate case!]), Edebug kicks me out of
the session and raises an error.  Edebug can't be used for such code.
That needs fixing.

TIA,

Michael.






Acknowledgement sent to Michael Heerdegen <michael_heerdegen@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs@HIDDEN. Full text available.
Report forwarded to bug-gnu-emacs@HIDDEN:
bug#46573; Package emacs. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Wed, 17 Feb 2021 00:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.