From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" 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:00:04 -0400 Message-ID: References: <83zg4oy9ow.fsf@gnu.org> <83wmzsxedw.fsf@gnu.org> <83mt0ny47z.fsf@gnu.org> <83h6qvxv8q.fsf@gnu.org> Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12909"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 64272@debbugs.gnu.org, LdBeth To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jun 26 01:01: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 1qDYjV-00038x-AN for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 26 Jun 2023 01:01:25 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qDYjD-0005IR-2X; Sun, 25 Jun 2023 19:01:07 -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 1qDYjB-0005I1-9Y for bug-gnu-emacs@gnu.org; Sun, 25 Jun 2023 19:01:05 -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 1qDYj8-0002xa-OJ for bug-gnu-emacs@gnu.org; Sun, 25 Jun 2023 19:01:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qDYj8-0001Nd-3F for bug-gnu-emacs@gnu.org; Sun, 25 Jun 2023 19:01:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 25 Jun 2023 23:01:02 +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.16877340195242 (code B ref 64272); Sun, 25 Jun 2023 23:01:02 +0000 Original-Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 23:00:19 +0000 Original-Received: from localhost ([127.0.0.1]:43941 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDYiQ-0001MU-UZ for submit@debbugs.gnu.org; Sun, 25 Jun 2023 19:00:19 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:29930) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDYiK-0001MC-Nx for 64272@debbugs.gnu.org; Sun, 25 Jun 2023 19:00:17 -0400 Original-Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 74704804BD; Sun, 25 Jun 2023 19:00:07 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 72AB080263; Sun, 25 Jun 2023 19:00:06 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1687734006; bh=0byaOQK9ZUzv9IG+QTqkXmNby2vViZL5RznaQu1+u+4=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=gUImDXmeM+CfzFAeJxwXQZl8oKiS0ClvMjapJQ3/EJ3xB+2y46viiclq5wmViLqs3 41Elp2xoX3L9Q5GBOcqy+X/hLnQniZFDiUqgF6P3hJRxUo5RiBfV344qmoVTU3bfml CilAojjGCUsaGODTOij0ql2RZ/xIxpjsofEASK6BFUZj8XdCcDFMlTgtntVkCPu7cd RAytvDABUSvwXQBIB/59dwM08hlI41nccS2MPxUl+ki4t+Hc86oIbtn0rDz9zvDXya VvGjzcEJzXW0gIgCRZu2SHDD7yqcrjqf7kxllFhnqvFwpF9kTami0dCA54J98PCoNG KXlUS1mo76nDg== Original-Received: from pastel (69-165-155-162.dsl.teksavvy.com [69.165.155.162]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 489451208BF; Sun, 25 Jun 2023 19:00:06 -0400 (EDT) In-Reply-To: <83h6qvxv8q.fsf@gnu.org> (Eli Zaretskii's message of "Sun, 25 Jun 2023 21:16:53 +0300") 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:264074 Archived-At: > So now let me turn the table and ask: if we are only going to support > whitespace before the semicolon, then what exactly are we gaining > here? I think the main problem is the disconnect between the various ways the cookie is recognized, so it may appear to work on one end and fail to work on the other, leaving the user rather perplexed. 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. Stefan