From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#64272: 28.1; lisp_file_lexically_bound_p behavior mismatches file local variables Date: Mon, 26 Jun 2023 14:13:36 +0300 Message-ID: <83a5wmxyqn.fsf@gnu.org> References: <83zg4oy9ow.fsf@gnu.org> <83wmzsxedw.fsf@gnu.org> <83mt0ny47z.fsf@gnu.org> <83h6qvxv8q.fsf@gnu.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="8751"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 64272@debbugs.gnu.org, monnier@iro.umontreal.ca To: LdBeth Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jun 26 13:14:26 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 1qDkAs-00025n-Aw for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 26 Jun 2023 13:14:26 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qDkAW-0002ce-Iq; Mon, 26 Jun 2023 07:14:04 -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 1qDkAU-0002ac-JF for bug-gnu-emacs@gnu.org; Mon, 26 Jun 2023 07:14: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 1qDkAU-0000QE-9g for bug-gnu-emacs@gnu.org; Mon, 26 Jun 2023 07:14:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qDkAT-0007x3-O5 for bug-gnu-emacs@gnu.org; Mon, 26 Jun 2023 07:14:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 26 Jun 2023 11:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64272 X-GNU-PR-Package: emacs Original-Received: via spool by 64272-submit@debbugs.gnu.org id=B64272.168777802530536 (code B ref 64272); Mon, 26 Jun 2023 11:14:01 +0000 Original-Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 11:13:45 +0000 Original-Received: from localhost ([127.0.0.1]:44612 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDkAD-0007wS-9H for submit@debbugs.gnu.org; Mon, 26 Jun 2023 07:13:45 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:46756) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDkAB-0007wD-0Q for 64272@debbugs.gnu.org; Mon, 26 Jun 2023 07:13:44 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qDkA3-0000MH-JM; Mon, 26 Jun 2023 07:13:36 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=cWWM4qSnQENL+CSe3ucQ+jgja1lhI0kW7N6WsKfHJBA=; b=Id8FByD6mHwV 2155TN7q0x8WdFj8xmYILXzlhmuJoO1rfzSYmnXrbI7GnQnae5WeS4cbqVkThtPGi8TyUGDULl6mD UYVtfTobCEYtzbBDsb7qSb7ZP5LbBa1UsQ6qWxluTgHAkb0G3yeQhTQIGm7AMzLmvl/u2MC6IKHZm vmlBGacneuaBuIhjKl4ctkjvzTyMICt9JqzF8TCM2SEYYzcSEo3dTVlq9iFvx/sMR1YRrYYke6wNq oA1Njz/KXywaTUYZ2yZtlE8TLuZ00zaEtyRedGofoTHfJHIMKlWq7dTqK+o4CTyiltfJkmWHCsXI8 hHp7GmjE92041aljpiFmVg==; Original-Received: from [87.69.77.57] (helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qDk9k-0000d8-RP; Mon, 26 Jun 2023 07:13:28 -0400 In-Reply-To: (message from LdBeth on Sun, 25 Jun 2023 19:53:09 -0500) 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:264090 Archived-At: > Date: Sun, 25 Jun 2023 19:53:09 -0500 > From: LdBeth > Cc: Eli Zaretskii , > LdBeth , > 64272@debbugs.gnu.org > > >>>>> In > >>>>> Stefan Monnier wrote: > > So maybe we should export `lisp_file_lexically_bound_p` to > > ELisp, let the byte-compiler (and maybe also > > `emacs-lisp-mode`) verify that it gives the same answer as > > `hack-local-variables-prop-line`, and emit a loud warning if > > it doesn't. > > I think it is a good idea to have byte-compiler check that. > > The context of how this bug reveal is a newbie user > asked why the lexical-binding does not apply in the .emacs > file and turns out there is a leading space in the first > line of the .emacs (well to be honest only scheme people > does wired things with letrec in their .emacs file) > > In the context of sharing .emacs files, the files are not likely to be > compiled, so it is better also to check that in emacs-lisp-mode, like, > when the file is opened. I'm sorry to bust this particular wedding, but here we see once again what became a frequent pattern in Emacs: a tiny problem, perhaps affecting one or a few users who happen to bump into it the first time they try something, which then causes quite serious changes to low-level infrastructure in Emacs that has been working flawlessly for years, and by doing that destabilize Emacs for no good reason. IOW, a tail that wags the dog. Happens time and again in Emacs, and we all fail to pay attention. The right solution to such problems is for users to learn not to do that. Which they already did learn, the first time the bumped into this. So the problem, such as it is, is already solved, and we still contemplate it. That said, I know I will be downvoted, and so will not object any changes in this wrong direction. Let the resultant breakage speak for itself.