Received: (at 55914) by debbugs.gnu.org; 12 Jun 2022 10:34:12 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 12 06:34:12 2022 Received: from localhost ([127.0.0.1]:54856 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1o0Kv6-0003lx-Jj for submit <at> debbugs.gnu.org; Sun, 12 Jun 2022 06:34:12 -0400 Received: from quimby.gnus.org ([95.216.78.240]:53372) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <larsi@HIDDEN>) id 1o0Kv4-0003lf-23 for 55914 <at> debbugs.gnu.org; Sun, 12 Jun 2022 06:34:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID :In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To: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=BtKFFejREWOdpZjhNh5cZcrMFDabOK+g7bwTHo/BdYY=; b=Q2m2mnwVqw4S6bu5wIm6RSAbRn Rt3Sms50FAuM1EeeUQIylA9da/vqL1IIxWlihIxmkThlMft9kHoudU61qX3fRmssZi2XtWF2ZhOcp 3IWaReerPrZup90jLjmUlCq/0piHKz9HEogtqaye5mrRuDhY74FFQV+BDPP42NawQ6lY=; Received: from [84.212.220.105] (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 1o0Kut-0003fc-LK; Sun, 12 Jun 2022 12:34:02 +0200 From: Lars Ingebrigtsen <larsi@HIDDEN> To: Hendrik Tews <hendrik.tews@HIDDEN> Subject: Re: bug#55914: 28.1; Defining as dynamic an already lexical var References: <87zgiilwbf.fsf@HIDDEN> X-Now-Playing: Everything But The Girl's _Walking Wounded_: "Single" Date: Sun, 12 Jun 2022 12:33:59 +0200 In-Reply-To: <87zgiilwbf.fsf@HIDDEN> (Hendrik Tews's message of "Sat, 11 Jun 2022 23:33:24 +0200") Message-ID: <87o7yynpbc.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: Hendrik Tews <hendrik.tews@HIDDEN> writes: > The elisp manual 28.1 says in 12.5 Defining Global Variables: > > If SYMBOL is already lexically bound (e.g., if the ‘defvar’ form > occurs in a ‘let’ form with lexical binding enabled), the [...] 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: -2.3 (--) X-Debbugs-Envelope-To: 55914 Cc: Stefan Monnier <monnier@HIDDEN>, 55914 <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 (---) Hendrik Tews <hendrik.tews@HIDDEN> writes: > The elisp manual 28.1 says in 12.5 Defining Global Variables: > > If SYMBOL is already lexically bound (e.g., if the =E2=80=98defvar= =E2=80=99 form > occurs in a =E2=80=98let=E2=80=99 form with lexical binding enabled)= , then =E2=80=98defvar=E2=80=99 > sets the dynamic value. > >>From this I would conclude that the error is a bug. Or did I > overlook something in the documentation? There's been some back and forth about what happens in these cases. This section in the manual currently reads (in Emacs 29): --- If @var{symbol} is already let bound (e.g., if the @code{defvar} form occurs in a @code{let} form), then @code{defvar} sets the toplevel default value, like @code{set-default-toplevel-value}. --- However, your test case signals an error, so I think the documentation needs further clarifications here: (let ((test-var nil)) (eval '(defvar test-var t "XXX"))) I've added Stefan to the CCs. --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no
bug-gnu-emacs@HIDDEN
:bug#55914
; Package emacs
.
Full text available.Received: (at 55914) by debbugs.gnu.org; 12 Jun 2022 08:55:02 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 12 04:55:02 2022 Received: from localhost ([127.0.0.1]:54712 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1o0JN8-0007Ip-IQ for submit <at> debbugs.gnu.org; Sun, 12 Jun 2022 04:55:02 -0400 Received: from serv1.kernkonzept.com ([159.69.200.6]:55619 helo=mx.kernkonzept.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <hendrik.tews@HIDDEN>) id 1o0JN5-0007HR-4q for 55914 <at> debbugs.gnu.org; Sun, 12 Jun 2022 04:55:01 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kernkonzept.com; s=mx1; 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=an2hVeiuDXL1XSjb6fsjO8eeinMQnA33P36vmcNHwm0=; b=SU8PQiWbubr+eWwlqK5z0TbUTB lSDSE4+2/rafRtzKIcMYtB02ZAwbl8G+JKBFTee6YGHbWAAmVheRnJcOV1BjBYbpyAGm6QJcNDJU5 lWKyhiiYUatUbYaXm6Bo0PDIcFhpDfcS0+Bmxj0TQdfozQzqP4SHCtWueVe1PiaHTy/8GDfRnsdlb foTvRgLzvRwj32BYDBT3qShgCN69Hl7HBZXrIm3mlmd1X0zdGpXJqbo/vX+E0g+9gD5gKRRr8iJR2 4z42ch1y7Ao6/O76qJJ5K8d7tFEyfb8lw3LtmjX4l8IWAkLFIVLQhiC8uWQVHNUFyPtmPT5prqqzW Nxyf4UxA==; Received: from [2a02:810a:8d00:56bc:caea:3529:f8e9:e9c2] (helo=cert2) by mx.kernkonzept.com with esmtpsa (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.94.2) id 1o0JN3-004vgr-4Y; Sun, 12 Jun 2022 10:54:57 +0200 Received: from localhost ([::1] helo=cert2) by cert2 with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from <hendrik.tews@HIDDEN>) id 1o0JMx-001qLX-4d; Sun, 12 Jun 2022 10:54:53 +0200 From: Hendrik Tews <hendrik.tews@HIDDEN> To: Phil Sainty <psainty@HIDDEN> Subject: Re: bug#55914: 28.1; Defining as dynamic an already lexical var References: <87zgiilwbf.fsf@HIDDEN> <f6870511b38a34c8aa56224a88862d5e@HIDDEN> Date: Sun, 12 Jun 2022 10:54:52 +0200 In-Reply-To: <f6870511b38a34c8aa56224a88862d5e@HIDDEN> (Phil Sainty's message of "Sun, 12 Jun 2022 12:10:04 +1200") Message-ID: <87a6ail0rn.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55914 Cc: 55914 <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 (-) Hi, thanks for your quick answer. > Which indicates a bug to be fixed, no? Well, not as long as the documentation clear states that in this case the dynamic value is set. > If the variable is *supposed* to be dynamic (everywhere), then > lexical libraries which refer to it must declare (defvar FOO) to > mark it as a dynamic variable, if it's possible that the proper > definition may not yet have been loaded. Is this statement in the manual somewhere? If not, would you mind adding it? Best regards, Hendrik Tews
bug-gnu-emacs@HIDDEN
:bug#55914
; Package emacs
.
Full text available.Received: (at 55914) by debbugs.gnu.org; 12 Jun 2022 02:10:50 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 11 22:10:50 2022 Received: from localhost ([127.0.0.1]:54339 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1o0D3x-0002iE-Uk for submit <at> debbugs.gnu.org; Sat, 11 Jun 2022 22:10:50 -0400 Received: from smtp-1.orcon.net.nz ([60.234.4.34]:46931) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <psainty@HIDDEN>) id 1o0D3t-0002i0-On for 55914 <at> debbugs.gnu.org; Sat, 11 Jun 2022 22:10:48 -0400 Received: from [10.253.37.70] (port=48216 helo=webmail.orcon.net.nz) by smtp-1.orcon.net.nz with esmtpa (Exim 4.90_1) (envelope-from <psainty@HIDDEN>) id 1o0D3q-00033D-Iv; Sun, 12 Jun 2022 14:10:42 +1200 Received: from ip-116-251-140-135.kinect.net.nz ([116.251.140.135]) via [10.253.37.253] by webmail.orcon.net.nz with HTTP (HTTP/1.1 POST); Sun, 12 Jun 2022 14:10:42 +1200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 12 Jun 2022 14:10:42 +1200 From: Phil Sainty <psainty@HIDDEN> To: Hendrik Tews <hendrik.tews@HIDDEN> Subject: Re: bug#55914: 28.1; Defining as dynamic an already lexical var In-Reply-To: <f6870511b38a34c8aa56224a88862d5e@HIDDEN> References: <87zgiilwbf.fsf@HIDDEN> <f6870511b38a34c8aa56224a88862d5e@HIDDEN> Message-ID: <cf16aebaa3faf12c4b88736c1a6807d3@HIDDEN> X-Sender: psainty@HIDDEN User-Agent: Orcon Webmail X-GeoIP: -- X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55914 Cc: 55914 <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 (-) On 2022-06-12 12:10, Phil Sainty wrote: > There's need for hyphenated name-spacing for lexical vars, so the > majority of single-word names are particularly safe to use. That should have been: There's *no* need for hyphenated name-spacing for lexical vars.
bug-gnu-emacs@HIDDEN
:bug#55914
; Package emacs
.
Full text available.Received: (at 55914) by debbugs.gnu.org; 12 Jun 2022 00:10:10 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 11 20:10:10 2022 Received: from localhost ([127.0.0.1]:54292 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1o0BBC-0008Bt-9R for submit <at> debbugs.gnu.org; Sat, 11 Jun 2022 20:10:10 -0400 Received: from smtp-1.orcon.net.nz ([60.234.4.34]:45221) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <psainty@HIDDEN>) id 1o0BB9-0008Bf-EQ for 55914 <at> debbugs.gnu.org; Sat, 11 Jun 2022 20:10:08 -0400 Received: from [10.253.37.70] (port=57182 helo=webmail.orcon.net.nz) by smtp-1.orcon.net.nz with esmtpa (Exim 4.90_1) (envelope-from <psainty@HIDDEN>) id 1o0BB6-0003tC-EH; Sun, 12 Jun 2022 12:10:04 +1200 Received: from ip-116-251-140-135.kinect.net.nz ([116.251.140.135]) via [10.253.37.253] by webmail.orcon.net.nz with HTTP (HTTP/1.1 POST); Sun, 12 Jun 2022 12:10:04 +1200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 12 Jun 2022 12:10:04 +1200 From: Phil Sainty <psainty@HIDDEN> To: Hendrik Tews <hendrik.tews@HIDDEN> Subject: Re: bug#55914: 28.1; Defining as dynamic an already lexical var In-Reply-To: <87zgiilwbf.fsf@HIDDEN> References: <87zgiilwbf.fsf@HIDDEN> Message-ID: <f6870511b38a34c8aa56224a88862d5e@HIDDEN> X-Sender: psainty@HIDDEN User-Agent: Orcon Webmail X-GeoIP: -- X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55914 Cc: 55914 <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 (-) On 2022-06-12 09:33, Hendrik Tews wrote: > From this I would conclude that the error is a bug. Or did I > overlook something in the documentation? It sounds like it's been upgraded from a mere description to an error, and the point would be "definitely don't do that; and if you see this then you should treat it as a bug to be fixed". > (I noticed this problem because of failing tests for Proof > General with emacs 28, see > https://github.com/ProofGeneral/PG/issues/657. There, inside a > let binding a Coq file is opened, which causes the Coq instance > of Proof General to be loaded, which somewhere contained a > defcustom for the variable that was bound with let.) Which indicates a bug to be fixed, no? If the variable is *supposed* to be dynamic (everywhere), then lexical libraries which refer to it must declare (defvar FOO) to mark it as a dynamic variable, if it's possible that the proper definition may not yet have been loaded. If the variable is supposed to be lexical, then it should be renamed to something which doesn't clash with a dynamic variable. There's need for hyphenated name-spacing for lexical vars, so the majority of single-word names are particularly safe to use.
bug-gnu-emacs@HIDDEN
:bug#55914
; Package emacs
.
Full text available.Received: (at submit) by debbugs.gnu.org; 11 Jun 2022 21:33:39 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 11 17:33:39 2022 Received: from localhost ([127.0.0.1]:54159 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1o08ji-0004FZ-RN for submit <at> debbugs.gnu.org; Sat, 11 Jun 2022 17:33:39 -0400 Received: from lists.gnu.org ([209.51.188.17]:48738) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <hendrik.tews@HIDDEN>) id 1o08jf-0004FQ-1a for submit <at> debbugs.gnu.org; Sat, 11 Jun 2022 17:33:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43238) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <hendrik.tews@HIDDEN>) id 1o08je-00087p-Pp for bug-gnu-emacs@HIDDEN; Sat, 11 Jun 2022 17:33:34 -0400 Received: from serv1.kernkonzept.com ([2a01:4f8:1c1c:b490::2]:36360 helo=mx.kernkonzept.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <hendrik.tews@HIDDEN>) id 1o08jc-0008Na-4I for bug-gnu-emacs@HIDDEN; Sat, 11 Jun 2022 17:33:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kernkonzept.com; s=mx1; h=Content-Transfer-Encoding:Content-Type: MIME-Version:Message-ID:Date:Subject:To:From:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=t0fgYOlYx1E97mBqGvYhC4JZ/3ay0VJpRj/n9mObKLM=; b=oLIniCL+TG5jFSw+LKdnCOK3xu BvcTIba8cGfJPEd6Nt0MtOAHP0BD6VNtZv9NXTmZwIrddZTt9NIJCo1xk5pO6fAKVEIBVnJNir58x i4G2MW3XYyB52Lgplk/exKLjbX4R4b6ksDcIklpeZQdDBKq18BS9fKN+OJRoFaDcJIArDUpX+GY9X /tE1YUsBu6QYYBdY6KIx8x9q7eKxjpnzoRYOtlcPW+TeN03EMRiyz20q1ZGQcSxzPO2iwCnB6o2wh AZSp2GAr5UzzQBCc2oCqQ2+EJII7NayT2mFzoIKu0jggPJTEP70OaAhjY94WgT21oHK5N+0F50gCl xcELk/cQ==; Received: from [2a02:810a:8d00:56bc:caea:3529:f8e9:e9c2] (helo=cert2) by mx.kernkonzept.com with esmtpsa (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.94.2) id 1o08jV-004s24-Ta for bug-gnu-emacs@HIDDEN; Sat, 11 Jun 2022 23:33:26 +0200 Received: from localhost ([::1] helo=cert2) by cert2 with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from <hendrik.tews@HIDDEN>) id 1o08jS-001mpI-UH for bug-gnu-emacs@HIDDEN; Sat, 11 Jun 2022 23:33:24 +0200 From: Hendrik Tews <hendrik.tews@HIDDEN> To: bug-gnu-emacs@HIDDEN Subject: 28.1; Defining as dynamic an already lexical var Date: Sat, 11 Jun 2022 23:33:24 +0200 Message-ID: <87zgiilwbf.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a01:4f8:1c1c:b490::2; envelope-from=hendrik.tews@HIDDEN; helo=mx.kernkonzept.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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.3 (--) Hi, evaluating (let ((test-var nil)) (eval '(defvar test-var t "XXX"))) works fine in emacs 27 but fails in 28.1 with "Defining as dynamic an already lexical var", similarly for defcustom instead of defvar. The elisp manual 28.1 says in 12.5 Defining Global Variables: If SYMBOL is already lexically bound (e.g., if the =E2=80=98defvar=E2= =80=99 form occurs in a =E2=80=98let=E2=80=99 form with lexical binding enabled), = then =E2=80=98defvar=E2=80=99 sets the dynamic value. From this I would conclude that the error is a bug. Or did I overlook something in the documentation? (I noticed this problem because of failing tests for Proof General with emacs 28, see https://github.com/ProofGeneral/PG/issues/657. There, inside a let binding a Coq file is opened, which causes the Coq instance of Proof General to be loaded, which somewhere contained a defcustom for the variable that was bound with let.) Best regards, Hendrik Tews
Hendrik Tews <hendrik.tews@HIDDEN>
:bug-gnu-emacs@HIDDEN
.
Full text available.bug-gnu-emacs@HIDDEN
:bug#55914
; Package emacs
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.