From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: LdBeth Newsgroups: gmane.emacs.bugs Subject: bug#64272: 28.1; lisp_file_lexically_bound_p behavior mismatches file local variables Date: Sun, 25 Jun 2023 19:53:09 -0500 Message-ID: References: <83zg4oy9ow.fsf@gnu.org> <83wmzsxedw.fsf@gnu.org> <83mt0ny47z.fsf@gnu.org> <83h6qvxv8q.fsf@gnu.org> Mime-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue") Content-Type: text/plain; charset=US-ASCII Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35395"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue) FLIM-LB/1.14.9 (=?UTF-8?Q?Goj=C5=8D?=) APEL-LB/10.8 EasyPG/1.0.0 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO) Cc: 64272@debbugs.gnu.org, Eli Zaretskii , LdBeth To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jun 26 02:59: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 1qDaZX-0008xr-Ex for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 26 Jun 2023 02:59:15 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qDaZM-0006u8-RV; Sun, 25 Jun 2023 20:59:05 -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 1qDaZK-0006th-9d for bug-gnu-emacs@gnu.org; Sun, 25 Jun 2023 20:59: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 1qDaZK-0002bQ-0z for bug-gnu-emacs@gnu.org; Sun, 25 Jun 2023 20:59:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qDaZJ-0004Pu-Of for bug-gnu-emacs@gnu.org; Sun, 25 Jun 2023 20:59:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: LdBeth Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 26 Jun 2023 00:59: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.168774111316942 (code B ref 64272); Mon, 26 Jun 2023 00:59:01 +0000 Original-Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 00:58:33 +0000 Original-Received: from localhost ([127.0.0.1]:44012 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDaYq-0004PB-Vz for submit@debbugs.gnu.org; Sun, 25 Jun 2023 20:58:33 -0400 Original-Received: from out162-62-57-252.mail.qq.com ([162.62.57.252]:49559) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDaYn-0004Ou-Ml for 64272@debbugs.gnu.org; Sun, 25 Jun 2023 20:58:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com; s=s201512; t=1687740796; bh=Y1/MmMEcmOLwpzUE6FhTG51zedQ7DKRHINqv6Q7M0ko=; h=Date:From:To:Cc:Subject:In-Reply-To:References; b=x1hvP+CfXvOibv1f8t0VBFqfx+aB+RLQmPi0p26WRhRvDY25tP0lNYfckWnMSVW+9 aZ0DumqmGNqyJMcqsuyj65DdrDv+jB4mMB8zoqMwhJT58xuw/LWvq8XDSMMaQgFcbb IEXb2VTIPoyBsBIiBOfOcrxwDoBuRN/Jfh0QWGo0= Original-Received: from 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net ([68.117.253.197]) by newxmesmtplogicsvrszc2-0.qq.com (NewEsmtp) with SMTP id D4D122D0; Mon, 26 Jun 2023 08:53:13 +0800 X-QQ-mid: xmsmtpt1687740793tlxw8q152 X-QQ-XMAILINFO: MyirvGjpKb1joISje84LtRg/mKUKgwtph3RyC+sKbRlwR5EyugKCV+iB1x1Oyc 7Ueuxc5xIP4c7QqGL8uJGJxASWhQmFWxoQtVgq2wmt9JlgvU3+sW8hqWHLjXNzSXY+n5VHS1v0zd jLVs/5SWKQlJa8uWdTEUzGnFlql3Ue8CFG7XxtJtbMfNrKTE5ZSQtOe2XJNmJcqxgZ0pzzgOOMUb Ld/LFDpg5tN6+cOEFTpKM/VOJNsiNUNJtH6LPHoL1eJ260Gz9OQeOez5ECV0zoZZoN9tFlhCfmcO ZcTH6VS9xI7FgoRDNjhA70Mqgi8PMSWgekNsSNVzHkEUSshJRvX0ila9rBypgdewBdOVx0hWiSm5 OtreEe3ohX7DO06jPb23hL1RXyPZe5yQAwsJsLb505VSA08JKmmq4f7d9otG81B8DgrII40j8dhI CNj5yFA1fmZQhVUTjjyaxIm4jdn3tixL9ulbUTuXUJ8qOdrVF59G/ham91jfAy1t5PGGZVWZBEL6 ecSAxn8ivnwPMbnV5SwvtXa+Hs47jBckBqXH92HUeAhJsYZb19S0GFGsemSJHIT5ssYnNwMtuUkZ UR48020fa7F1pnBubhSKxMUl4wAK2gk1Ugo2SzTWJuOMorTklhoq2BKJVSTFzA2iZeJaf5bOTcZY l77BzKn4szHH1LmE2SCCp7y/z5fT7UrWNE8ZkWQq2WUYBWAwC7Z9vD98MHN4krgzPY5FqD3knLFW YBkpWBP9ZBWqSMlZyDo23iswBkrWZBpIz2JOb4vXLajIg0thXE3MeUevZPNfGPW31IUjq9G9ceBk aBRbzXX1jGOWKqywc6M1BXo1HiTqtmwvPkvxwU0e X-QQ-XMRINFO: NjIWXnpjOUTzjNa+72IgnqZv1lPwKoxBEg== Original-Received: by 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net (Postfix, from userid 501) id 940CD20551559F; Sun, 25 Jun 2023 19:53:09 -0500 (CDT) X-OQ-MSGID: In-Reply-To: X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFbB"OFczY?'\JtJ\lR'@&Y5j; s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|BGyL8{/`4 X-Now-Playing: GARNiDELiA - Gravity X-Attribution: ldb 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:264078 Archived-At: >>>>> 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. --- ldb