GNU bug report logs - #64272
28.1; lisp_file_lexically_bound_p behavior mismatches file local variables

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: LdBeth <andpuke@HIDDEN>; Keywords: confirmed; merged with #67321; dated Sat, 24 Jun 2023 18:24:02 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.
Added tag(s) confirmed. Request was from Stefan Kangas <stefankangas@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

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


Received: (at 64272) by debbugs.gnu.org; 21 Nov 2023 13:12:35 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Nov 21 08:12:35 2023
Received: from localhost ([127.0.0.1]:55473 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1r5QYN-0007ZS-Bj
	for submit <at> debbugs.gnu.org; Tue, 21 Nov 2023 08:12:35 -0500
Received: from mail-ej1-x630.google.com ([2a00:1450:4864:20::630]:45451)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gerd.moellmann@HIDDEN>) id 1r5QYM-0007ZH-6N
 for 64272 <at> debbugs.gnu.org; Tue, 21 Nov 2023 08:12:34 -0500
Received: by mail-ej1-x630.google.com with SMTP id
 a640c23a62f3a-9fffa4c4f43so234187566b.3
 for <64272 <at> debbugs.gnu.org>; Tue, 21 Nov 2023 05:12:31 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1700572346; x=1701177146; darn=debbugs.gnu.org;
 h=mime-version:user-agent:message-id:date:references:in-reply-to
 :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to;
 bh=twVDokQwdcW9T5us6xu9lhP3tkofE7EHxidRn2oOS4Q=;
 b=ScFLRjmcEyJxZl8BCLPmcjiaV+1GYg1Yj17Ipcfjx5OajLWZxtcyOBuA7k09+luGYf
 toWQHPuvt/dTViDIWMqOUdYbtOY8zf5Nf5PPVd14Th2bMRUwiWS7TNnL6Dvs7h1/Aend
 bOj5o8AmH9lOCKg3rmIkNBAibjapq/v+gfWxGeW2od32C7DuoxRuRT5rFgIaHVOhFG+7
 XdY1+N2pLMWAFsxMvSAybQMBkvNSJmRgwwuT/KkMaIytrqtnuUqkms5HsgQkaxvtk+YW
 QNcjmy3pPR0BbnTwTVbQp9PIQwBgmkwUNNrODcHE6/CmLZW5x01YyZFXvFBXk9AupUWj
 6V2g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1700572346; x=1701177146;
 h=mime-version:user-agent:message-id:date:references:in-reply-to
 :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date
 :message-id:reply-to;
 bh=twVDokQwdcW9T5us6xu9lhP3tkofE7EHxidRn2oOS4Q=;
 b=rzyTwGfG9yokGojVFgXw6gmNZL0S0Y3ACJMxlY93AT0D8JkbcpUmGOe/4htDlElq4x
 3SawJ6lkIyyFeB8H//t26lB3wHpeaVd99BJQ/QqqdwuAIClxP8ivGhW5el+ojJvxSWox
 bLn5J7oeyu2/JmJujgATQQHaDu7NYvJqlRZGQlI26ZTEn0mP4iPMbGI1gzZQGPlEvioA
 W3s/1ZDgkUsfo0lWuOxRhnkiemHQcry9XBatTqVMrzhWbW1FjsU4w6MwY/OY4SwuqLPe
 mmq0OAQXfnvGmO+rD7wy1/SVFylzf7E7EPFfQ1q5oX6wrupC/iPzvg1N3AxTomLrspVd
 Fi+g==
X-Gm-Message-State: AOJu0YwPSixT2b1jEWEkgIXyi3zf9GX9WSdPJHzNRw91uGstggV/8HZA
 7d1rEML2RMWUY9Ae4nXIqS0=
X-Google-Smtp-Source: AGHT+IHHvXxDivIA6WacO1p81WGiLnPIze85mRIJ3RhZ2NCwNF7NkR1dZuYyT6QtIn13EzWWVF3h5w==
X-Received: by 2002:a17:906:4b08:b0:9fe:43a0:4ac0 with SMTP id
 y8-20020a1709064b0800b009fe43a04ac0mr4953436eju.24.1700572345577; 
 Tue, 21 Nov 2023 05:12:25 -0800 (PST)
Received: from Pro.fritz.box (p4fe3a849.dip0.t-ipconnect.de. [79.227.168.73])
 by smtp.gmail.com with ESMTPSA id
 bo5-20020a170906d04500b009dd98089a48sm5200602ejb.43.2023.11.21.05.12.24
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Tue, 21 Nov 2023 05:12:25 -0800 (PST)
From: =?utf-8?Q?Gerd_M=C3=B6llmann?= <gerd.moellmann@HIDDEN>
To: Gregory Heytings <gregory@HIDDEN>
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
In-Reply-To: <30832e8647ddb7b160e5@HIDDEN> (Gregory Heytings's message
 of "Mon, 26 Jun 2023 15:18:34 +0000")
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN> <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
 <tencent_4C24378E6E3BC7D69E340C721D3E2BB63F07@HIDDEN>
 <83a5wmxyqn.fsf@HIDDEN> <30832e8647ddb7b160e5@HIDDEN>
Date: Tue, 21 Nov 2023 14:12:24 +0100
Message-ID: <m2wmubl07b.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, Eli Zaretskii <eliz@HIDDEN>,
 LdBeth <andpuke@HIDDEN>, 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: -1.0 (-)

Gregory Heytings <gregory@HIDDEN> writes:

>>
>> 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.
>>
>> [...]
>>
>> 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.
>>
>
> Not that my opinion counts, but FWIW, I agree with the above, and I
> upvote this.

+1




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#64272; Package emacs. Full text available.
Merged 64272 67321. Request was from Eli Zaretskii <eliz@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

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


Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 15:23:18 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 26 11:23:18 2023
Received: from localhost ([127.0.0.1]:46873 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDo3i-0003F6-CX
	for submit <at> debbugs.gnu.org; Mon, 26 Jun 2023 11:23:18 -0400
Received: from eggs.gnu.org ([209.51.188.92]:44200)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qDo3d-0003Eo-OB
 for 64272 <at> debbugs.gnu.org; Mon, 26 Jun 2023 11:23:16 -0400
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 <eliz@HIDDEN>)
 id 1qDo3X-0007ok-QK; Mon, 26 Jun 2023 11:23:07 -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=t5My6vJua/o4HhpymJ5/1E8ahFmsEVTp7D089sK8rlk=; b=S3XW4PcNrdhb
 lgd+ETg29fmEOiQcU8/19zyN65fkjvmXtgyUT+vFoL1oGrFLl4Dt9vfUrm/+3fLWhDT6qOlmEwJta
 bzTIDMXb97dAINfhCOfXrtzegBgLR1VQwLp6Jl/HkAQlAv1roOMjP5iY9gouaCMOHJTjq5z+mUcab
 u5MkzATnUxiXMP1CXY8PZEg/+ja9/2FPkRx4OQDCoowK08Mf+GpDabNLAyEg2euDJF61t1dQrDv8G
 VlTLnp9TaCBOs0VpCbC28Fv7aR/gSeXqhqGoNwxunGWLxMSO9negat669VDtQfXNZkmYrg6dBuHAu
 a5ItDvuG+kSp8GoY+njgNg==;
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 <eliz@HIDDEN>)
 id 1qDo3V-0008HI-8F; Mon, 26 Jun 2023 11:23:07 -0400
Date: Mon, 26 Jun 2023 18:23:23 +0300
Message-Id: <83sfaew8lw.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: Gregory Heytings <gregory@HIDDEN>
In-Reply-To: <30832e8647ddb7b160e5@HIDDEN> (message from Gregory
 Heytings on Mon, 26 Jun 2023 15:18:34 +0000)
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior mismatches
 file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN> <83h6qvxv8q.fsf@HIDDEN>
 <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
 <tencent_4C24378E6E3BC7D69E340C721D3E2BB63F07@HIDDEN>
 <83a5wmxyqn.fsf@HIDDEN> <30832e8647ddb7b160e5@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, andpuke@HIDDEN, 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: -3.3 (---)

> Date: Mon, 26 Jun 2023 15:18:34 +0000
> From: Gregory Heytings <gregory@HIDDEN>
> cc: LdBeth <andpuke@HIDDEN>, 64272 <at> debbugs.gnu.org, 
>     monnier@HIDDEN
> 
> > 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.
> >
> > [...]
> >
> > 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.
> >
> 
> Not that my opinion counts, but FWIW, I agree with the above, and I upvote 
> this.

Thank you!  (And your opinion does count, at least here.)




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

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


Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 15:18:37 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 26 11:18:37 2023
Received: from localhost ([127.0.0.1]:46858 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDnzB-00037B-Ix
	for submit <at> debbugs.gnu.org; Mon, 26 Jun 2023 11:18:37 -0400
Received: from heytings.org ([95.142.160.155]:59128)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gregory@HIDDEN>) id 1qDnz9-000373-KH
 for 64272 <at> debbugs.gnu.org; Mon, 26 Jun 2023 11:18:36 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=heytings.org;
 s=20220101; t=1687792715;
 bh=5LZdPt5dbvICUvCI1eD8hCxjIkuxu4G0KUSsUHUVxEc=;
 h=Date:From:To:cc:Subject:In-Reply-To:Message-ID:References:From;
 b=gAoeCsgL08BSEsNaE6YltAEY1l/kY36di4nUkit4ic0pegM1Fz22aoASrTPfe4KIi
 URHwhVITL5icHsOjG/pD3d/4FD3jQiHvuioRLyNC6vBeIhpqbRYI9mPKxF3Ayinyh9
 T5QCG6JK5kRWAOHH7nmBnsyQEC2EH6qdn45r6fJuIAAOPiaOlw1KD9KKNsuubp1oxo
 p2RR/4DpycrjzdAZnuOD0FmcPcO8nbHmARfcBgvCXDuVi5Qg6m8D+N3hu3J49IrsNr
 CQj+E8HuUIS7rF51/Uo+bnU2i43rHRlO/+Edf/R3BYfwTEGHxuI7G46Tq5Cq6RK1T+
 QWJaVwHWU5sOQ==
Date: Mon, 26 Jun 2023 15:18:34 +0000
From: Gregory Heytings <gregory@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior mismatches
 file local variables
In-Reply-To: <83a5wmxyqn.fsf@HIDDEN>
Message-ID: <30832e8647ddb7b160e5@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN> <83h6qvxv8q.fsf@HIDDEN>
 <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
 <tencent_4C24378E6E3BC7D69E340C721D3E2BB63F07@HIDDEN>
 <83a5wmxyqn.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; format=flowed; charset=us-ascii
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@HIDDEN>,
 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: -1.0 (-)


>
> 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.
>
> [...]
>
> 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.
>

Not that my opinion counts, but FWIW, I agree with the above, and I upvote 
this.





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

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


Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 11:13:45 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 26 07:13:45 2023
Received: from localhost ([127.0.0.1]:44612 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDkAD-0007wS-9H
	for submit <at> debbugs.gnu.org; Mon, 26 Jun 2023 07:13:45 -0400
Received: from eggs.gnu.org ([209.51.188.92]:46756)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qDkAB-0007wD-0Q
 for 64272 <at> debbugs.gnu.org; Mon, 26 Jun 2023 07:13:44 -0400
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 <eliz@HIDDEN>)
 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==;
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 <eliz@HIDDEN>)
 id 1qDk9k-0000d8-RP; Mon, 26 Jun 2023 07:13:28 -0400
Date: Mon, 26 Jun 2023 14:13:36 +0300
Message-Id: <83a5wmxyqn.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: LdBeth <andpuke@HIDDEN>
In-Reply-To: <tencent_4C24378E6E3BC7D69E340C721D3E2BB63F07@HIDDEN> (message
 from LdBeth on Sun, 25 Jun 2023 19:53:09 -0500)
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN> <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
 <tencent_4C24378E6E3BC7D69E340C721D3E2BB63F07@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, 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: -3.3 (---)

> Date: Sun, 25 Jun 2023 19:53:09 -0500
> From: LdBeth <andpuke@HIDDEN>
> Cc: Eli Zaretskii <eliz@HIDDEN>,
> 	LdBeth <andpuke@HIDDEN>,
> 	64272 <at> debbugs.gnu.org
> 
> >>>>> In <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN> 
> >>>>>	Stefan Monnier <monnier@HIDDEN> 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.




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

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


Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 10:59:26 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 26 06:59:26 2023
Received: from localhost ([127.0.0.1]:44606 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDjwL-0007b9-Q2
	for submit <at> debbugs.gnu.org; Mon, 26 Jun 2023 06:59:26 -0400
Received: from eggs.gnu.org ([209.51.188.92]:43494)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qDjwI-0007aw-0j
 for 64272 <at> debbugs.gnu.org; Mon, 26 Jun 2023 06:59:23 -0400
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 <eliz@HIDDEN>)
 id 1qDjwB-0004s1-GZ; Mon, 26 Jun 2023 06:59:15 -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=87dej/VSV3wfJZhlAC3qmHtkF2kldzCOiY9homdWZ3A=; b=VAlaBK3R0GxT
 4MiiZInIG3Rr/hF6Lyutrz0XseMcnFI5Uo5ynPcs2v5xmXqGrVqovFxgMMXWh1clNlc6BC6Y5nbYM
 3COB8VdCBSc/EfTyR4jxRN45EcbziNWFPcQMZYE/R3CGPBJBMXq1Ki+2IAliCD/hmKanlhMoXXRUN
 r418fwBpbKn+WTNU6AbDRL6mwkH++4NC4OI19XYlYlVA5EaVHCj3Krc15FspmVPrD4Ap+XQL12K44
 d53Vi38bbTcnmB1L+wQlnc9+tJ3HJjlexQnQOMLsxY6O3nXgXdbapuJ1vJJSSIKTXqD61I9r6ntQq
 K/kqejmSHGZG+TTAR7F3Nw==;
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 <eliz@HIDDEN>)
 id 1qDjw8-0004Wx-Cm; Mon, 26 Jun 2023 06:59:15 -0400
Date: Mon, 26 Jun 2023 13:59:32 +0300
Message-Id: <83cz1ixze3.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN> (message from Stefan
 Monnier on Sun, 25 Jun 2023 19:00:04 -0400)
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN> <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, andpuke@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: -3.3 (---)

> From: Stefan Monnier <monnier@HIDDEN>
> Cc: LdBeth <andpuke@HIDDEN>,  64272 <at> debbugs.gnu.org
> Date: Sun, 25 Jun 2023 19:00:04 -0400
> 
> > 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.

Patches welcome.




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

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


Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 00:58:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 20:58:33 2023
Received: from localhost ([127.0.0.1]:44012 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDaYq-0004PB-Vz
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 20:58:33 -0400
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 <andpuke@HIDDEN>) id 1qDaYn-0004Ou-Ml
 for 64272 <at> 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=
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
Message-ID: <tencent_4C24378E6E3BC7D69E340C721D3E2BB63F07@HIDDEN>
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
 aBRbzXX1jGOWKqywc6M1BXo1HiTqtmwvPkvxwU0eN5jaba/rLF5LQzoYD0ApDuD2y6AzzjG9/ZHz
 6GaJs64Qw6IufQdlmGz7XsRwc7xtnnjYAty1mErLlRFjzLTno++lkWA+ehWHSWcaFhJUKweesVfk
 KEi3oq2ihAMAgJ5rXseGZJ3iseQfcvc7vd6KZKe2o=
X-QQ-XMRINFO: NjIWXnpjOUTzjNa+72IgnqZv1lPwKoxBEg==
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)
Date: Sun, 25 Jun 2023 19:53:09 -0500
X-OQ-MSGID: <m2o7l3kpsa.wl-andpuke@HIDDEN>
From: LdBeth <andpuke@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
In-Reply-To: <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN> <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM-LB/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL-LB/10.8 EasyPG/1.0.0
 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO)
X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFb<Gg.-S\WKb-,h]7etnh+:HDw(LTM"LxfPn77.T}[\jU5'G|\1H~Mvj"CigzE!FAO9oe>B"OFczY?'\JtJ\lR'@&Y5j;
 <Xa]M~Osh'13xp{%4W8dF"4&@sZIgtbx:[Zo5]T>s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|<PT#'?Tc4DhhShl\W~mGW/P"<$?Vz8E?80tL/Wu#$}{;
 CSl!pgz'Tn])~<mdt_]i>BGyL8{/`4
X-Now-Playing: GARNiDELiA - Gravity
X-Attribution: ldb
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
X-Spam-Score: 3.6 (+++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 Content preview:  >>>>> 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 [...] 
 Content analysis details:   (3.6 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (andpuke[at]foxmail.com)
 0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
 0.0 RCVD_IN_MSPIKE_H4      RBL: Very Good reputation (+4)
 [162.62.57.252 listed in wl.mailspike.net]
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
 no trust [162.62.57.252 listed in list.dnswl.org]
 0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders
 0.4 RDNS_DYNAMIC           Delivered to internal network by host with
 dynamic-looking rDNS
 0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
 3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
 addr 1)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, Eli Zaretskii <eliz@HIDDEN>,
 LdBeth <andpuke@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.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 
 Content preview:  >>>>> 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 [...] 
 
 Content analysis details:   (2.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 RCVD_IN_MSPIKE_H4      RBL: Very Good reputation (+4)
                             [162.62.57.252 listed in wl.mailspike.net]
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
                              no trust
                             [162.62.57.252 listed in list.dnswl.org]
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (andpuke[at]foxmail.com)
  0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders
  0.4 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS
  0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
  3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
                             addr 1)
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

>>>>> In <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN> 
>>>>>	Stefan Monnier <monnier@HIDDEN> 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





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

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


Received: (at 64272) by debbugs.gnu.org; 26 Jun 2023 00:50:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 20:50:41 2023
Received: from localhost ([127.0.0.1]:43996 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDaRF-0004Dk-7r
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 20:50:41 -0400
Received: from out203-205-221-155.mail.qq.com ([203.205.221.155]:47860)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andpuke@HIDDEN>) id 1qDaR9-0004DM-PV
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 20:50:39 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com;
 s=s201512; t=1687740319;
 bh=YJPeulPMBc77Mr84AWjn9VHrVL9LVqGSDRSxviFo1pU=;
 h=Date:From:To:Cc:Subject:In-Reply-To:References;
 b=Ym4Y0hmczlB9lYsM+jcKZ91L5/dvIAnb9h0TGpd79VBEUQG0kGxxdViO6ENZEqeL5
 YxhQW3fAF8x5NXEtNL16Y8xgSQ1oTucNoxZw+w4CPKySiAa7irz2UYb8LWuQGkoqd6
 LWoPAKqR3NLHKbevMv6zqyghL24zuhIf+w8IYNlw=
Received: from 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net ([68.117.253.197])
 by newxmesmtplogicsvrszb1-0.qq.com (NewEsmtp) with SMTP
 id B4F9821B; Mon, 26 Jun 2023 08:45:15 +0800
X-QQ-mid: xmsmtpt1687740315tjj7hvolz
Message-ID: <tencent_411DFB7A4830E87470AD62FFBEDCA2BB3B09@HIDDEN>
X-QQ-XMAILINFO: M/NR0wiIuy70KdOUu3RMLrIqjyYZdwyKAsCnhJlc9Qi9pUZtYFyv9nIwGN2CGY
 ou5BZq7h9fg4ODTSVB1v6z9qi+ml5rE0vfAjs86I82+vB6q7zWbuVlY23U12W28agbt3caOoBeOm
 CEhRjBWxGLiFXCDUZpJqQi5FKEiEasjNSwuRXM9F5sQjZWBcJeOvbljvE7sHdEv9GrDbZUdE4opG
 FBDyG4SiLOPUbV1wfL1jTskz5fWjCbNLM53rJ3xtE367M324UtHAilkNhZAFtL7K4UsYbYsByxsw
 2uUnKcw1FHY2YIQ1sBtMUvL0hSrgo/dpTkAodMQLjbMCdV2M9lwVNsi+YwSe5zJ1fFA4Yt6h7oJ6
 lEua8Et5auF/Qp5mB1B3ASXMLQnNlb4wTgIC5TgH2352Mo6d/ZEtsKdhONz5slM1Lna7+eZHafnT
 VSz9qJw58UHe/ycM46bpm9WpgaEVNhK+pPDYx3EZ+UcSlyRFJFBWBKJLj5zem83VNa++pb6BTV9S
 WyJL50M8ZYSyWlMD18h+ipZkzldhQTz8KlX9MoMDIo7mFNC89Y8QVYHcQYcuA7K0G5N3xDUOkcwk
 LBRHkDf5ItpE1lWdkMB+hansQQ4HQ/CzmQZZsk6Gg6V8jUedKbNchTA0SUB2QCeS5Eu3+RfWbf+4
 gRI3ec3XsdpHYV7DzbvP38ZGmr42T8enaM5e4k15usMqVgHX9mLG3Q1lClP6Y1U0/sVgRhXFW8II
 zmU+ntZgzxT8qwLVY+YzpvqaaFcHcA/XmpAyabo4T5o76e5F7fqDhAvlVe3Gr9fU6WTCenr9uRin
 0O7R0RpWIf+pmXTLupn+UG6LdT/ROW8b3D3AyL83zYruh75cXOrlGTyrLxg8D0bPg7cB4efVp6Gm
 OFreT94jcMidfSqvl+nVKO1oWhgzuI7EGaYWE1Qb0IPyX/MvcgwBTuAL0hZ0F+9OFiNCqvt4fWc0
 ZDrZlhKVs=
X-QQ-XMRINFO: M0RWTeBkoNRBR1Uh12iQNRvA1CSLhD8+1Q==
Received: by 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net (Postfix,
 from userid 501)
 id 4CBC72055154B3; Sun, 25 Jun 2023 19:45:14 -0500 (CDT)
Date: Sun, 25 Jun 2023 19:45:14 -0500
X-OQ-MSGID: <m2pm5jkq5h.wl-andpuke@HIDDEN>
From: LdBeth <andpuke@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
In-Reply-To: <tencent_801CA17A56314C746AAC30FFB8DC58BB1109@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN>
 <tencent_801CA17A56314C746AAC30FFB8DC58BB1109@HIDDEN>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM-LB/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL-LB/10.8 EasyPG/1.0.0
 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO)
X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFb<Gg.-S\WKb-,h]7etnh+:HDw(LTM"LxfPn77.T}[\jU5'G|\1H~Mvj"CigzE!FAO9oe>B"OFczY?'\JtJ\lR'@&Y5j;
 <Xa]M~Osh'13xp{%4W8dF"4&@sZIgtbx:[Zo5]T>s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|<PT#'?Tc4DhhShl\W~mGW/P"<$?Vz8E?80tL/Wu#$}{;
 CSl!pgz'Tn])~<mdt_]i>BGyL8{/`4
X-Now-Playing: =?ISO-2022-JP?B?GyRCQ2Y4NhsoQiAbJEJLYzBhGyhC?= -
 =?ISO-2022-JP?B?GyRCP003QThAOGwbKEI=?=
X-Attribution: ldb
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
X-Spam-Score: 3.6 (+++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 Content preview:  >>>>> In >>>>> LdBeth wrote: ldb> So as I continue digging
 into lread.c and trying to find alternative ldb> solutions, I find these:
 ldb> DEFSYM (Qget_file_char, "get-file-char"); 
 Content analysis details:   (3.6 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (andpuke[at]foxmail.com)
 0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
 no trust [203.205.221.155 listed in list.dnswl.org]
 -0.0 SPF_PASS               SPF: sender matches SPF record
 0.4 RDNS_DYNAMIC           Delivered to internal network by host with
 dynamic-looking rDNS
 0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
 3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
 addr 1)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@HIDDEN>,
 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.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 
 Content preview:  >>>>> In >>>>> LdBeth wrote: ldb> So as I continue digging
    into lread.c and trying to find alternative ldb> solutions, I find these:
    ldb> DEFSYM (Qget_file_char, "get-file-char"); 
 
 Content analysis details:   (2.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
                              no trust
                             [203.205.221.155 listed in list.dnswl.org]
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (andpuke[at]foxmail.com)
  0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.4 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS
  0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
  3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
                             addr 1)
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

>>>>> In <tencent_801CA17A56314C746AAC30FFB8DC58BB1109@HIDDEN> 
>>>>>	LdBeth <andpuke@HIDDEN> wrote:

ldb> So as I continue digging into lread.c and trying to find alternative
ldb> solutions, I find these:

ldb>   DEFSYM (Qget_file_char, "get-file-char");

ldb>   /* Used instead of Qget_file_char while loading *.elc files compiled
ldb>      by Emacs 21 or older.  */
ldb>   DEFSYM (Qget_emacs_mule_file_char, "get-emacs-mule-file-char");

ldb> While `get-file-char` is exposed to emacs lisp,
ldb> `get-emacs-mule-file-char' is not even a defined lisp function.

ldb> There are multiple places in `lread.c` that handles
ldb> `Qget_emacs_mule_file_char`. Which I believe it time to consider
ldb> them as dead code and remove them.

Sorry, I misread on how `Qget_emacs_mule_file_char' is been used.
It is still been used internally in `lread.c' because of how READCHAR
works.

ldb> For the only two functions that calls `lisp_file_lexically_bound_p`,
ldb> `load` is hard coded to use `get-file-char` which is a wrapper around
ldb> `getc()`, and `eval-buffer` uses the `BUFFERP (readcharfun)`
ldb> branch in `readchar`. I think both case can be changed to
ldb> use a more flexible way to test file local variables
ldb> rather than stick to the READCHAR UNREAD api.

I think this still holds valid.

---
ldb





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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 23:22:02 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 19:22:02 2023
Received: from localhost ([127.0.0.1]:43952 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDZ3S-0001sn-9M
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 19:22:02 -0400
Received: from out162-62-57-210.mail.qq.com ([162.62.57.210]:44263)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andpuke@HIDDEN>) id 1qDZ3M-0001sM-Tf
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 19:22:01 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com;
 s=s201512; t=1687735002;
 bh=qtOFILShwqTq/7xD8QEqf6SfuzFxSJr3NczECZsqQ80=;
 h=Date:From:To:Cc:Subject:In-Reply-To:References;
 b=v/PshsrLneRvPbtBMlrKkl/mIVpEV5y3zzdwiimjfcGz6yz9HL/UiM5jOONJ2HIio
 y94RiIKQ7HgHlwlcMS1ht2H373xrunjZ+c8ArQy9zgXhSzSha5PJEBYYbXPgonu6wy
 TusC64PQxAhmPqh8VW6iBtzzV85f8qhQOA+o3xlI=
Received: from 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net ([68.117.253.197])
 by newxmesmtplogicsvrsza10-0.qq.com (NewEsmtp) with SMTP
 id 426AB82D; Mon, 26 Jun 2023 07:16:38 +0800
X-QQ-mid: xmsmtpt1687734998t23ih8vuy
Message-ID: <tencent_801CA17A56314C746AAC30FFB8DC58BB1109@HIDDEN>
X-QQ-XMAILINFO: M/NR0wiIuy70KdOUu3RMLrKdB+8wrPM/nAV2LtRtjEDpJkKX35WVlE4TRrezZo
 E3JcwiKKn+urLF0UR1O4JZqcDEWZXKyeZpukgVK3hPedvCsL8xjLmBGBR6mec7Lyr6YxwaN8Beow
 R3+BLCzHnmqlm6EQ8GNDu5yZARibOXh5AXoTpqarunb6pdIOqX8Tsok5f8e6DpQMfj7X/GoXRGNV
 cCf8QsX6FW6+sMsPeslE4YJsd8wnOcAkBbXHagX/cT343N9upw18FFbF5EXNEFnSldgOj8PtiBjf
 SOFZ0H3rZksDgp19eCpxXbvin2L2FfTb6u5OjjEj0LbVeXrZ2LJPsUpUlSC5DZlfewA0jlV3QkoO
 52sUxgKXjIws7/NFKoJVI18bkvAlNeW8g/qbyXCDa21TyjboNdDmfuyhqeRu3PCq8jkcw/+cz+xy
 cQmszlhC7HqLSLbFMGYgXylQifUCMxDBGG5NgQ7H8GLWmbvu0vo4DM1tWBxmDB5xa09XG1CfNrA/
 +9eJA177dwmta0QQ/TGCv5FQc6PPoSqw/1ngaYdvFNzb0Um6iZdX7XMzIyhs0puedybCiplxutqh
 PvWls+m2AQB+aBlsm/i3VwO36XK1Fu+jCTQhMOnWNHVNf09uDOcR41AS2NXhY5ebdp49IKk1XalD
 3rD/ko29MoaFRnEKMCbihWs3wyrZIXX6TRfDZ0pnKmA8QQEsASykjAT9J+jIAZm4z5L/saGJ8qKy
 e7Zy28N4z1s3HwEFekkQaG0+5RLVonfQpbUliaTlVW59epkefiNG6LsRcY/2spHYKgHvotoKPnL1
 26TlJp+8hizREkILGGLKu0vHP0Lloz/QUADFQMSmlly3wbmPxJlns1wI3Lfs2xpTlJkTiHF7bNHw
 guYsN/JPyQn+ujvFTmMLqjZ63X05bYJPYGdIMeOJe4iuYFLrO4qAyuUG/0ueH6i56vTo+9DXSB
X-QQ-XMRINFO: NT0eAOK/sSMcVWZR8HXaz7ha97UQQ6B0Jg==
Received: by 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net (Postfix,
 from userid 501)
 id 65D0F205513946; Sun, 25 Jun 2023 18:16:36 -0500 (CDT)
Date: Sun, 25 Jun 2023 18:16:36 -0500
X-OQ-MSGID: <m2pm5j2kvf.wl-andpuke@HIDDEN>
From: LdBeth <andpuke@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
In-Reply-To: <83h6qvxv8q.fsf@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM-LB/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL-LB/10.8 EasyPG/1.0.0
 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO)
X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFb<Gg.-S\WKb-,h]7etnh+:HDw(LTM"LxfPn77.T}[\jU5'G|\1H~Mvj"CigzE!FAO9oe>B"OFczY?'\JtJ\lR'@&Y5j;
 <Xa]M~Osh'13xp{%4W8dF"4&@sZIgtbx:[Zo5]T>s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|<PT#'?Tc4DhhShl\W~mGW/P"<$?Vz8E?80tL/Wu#$}{;
 CSl!pgz'Tn])~<mdt_]i>BGyL8{/`4
X-Attribution: ldb
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
X-Spam-Score: 3.6 (+++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 Content preview:  >>>>> In >>>>> Eli Zaretskii wrote: ldb> If first line is
 lisp code, and we want to keep the similar ldb> behavior of
 `hack-local-variables-prop-line`, 
 there needs a mean ldb> to buffer the conten [...] 
 Content analysis details:   (3.6 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (andpuke[at]foxmail.com)
 0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
 no trust [162.62.57.210 listed in list.dnswl.org]
 0.4 RDNS_DYNAMIC           Delivered to internal network by host with
 dynamic-looking rDNS
 0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
 3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
 addr 1)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@HIDDEN>,
 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.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 
 Content preview:  >>>>> In >>>>> Eli Zaretskii wrote: ldb> If first line is
   lisp code, and we want to keep the similar ldb> behavior of `hack-local-variables-prop-line`,
    there needs a mean ldb> to buffer the conten [...] 
 
 Content analysis details:   (2.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
                              no trust
                             [162.62.57.210 listed in list.dnswl.org]
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (andpuke[at]foxmail.com)
  0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.4 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS
  0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
  3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
                             addr 1)
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

>>>>> In <83h6qvxv8q.fsf@HIDDEN> 
>>>>>	Eli Zaretskii <eliz@HIDDEN> wrote:
ldb> If first line is lisp code, and we want to keep the similar
ldb> behavior of `hack-local-variables-prop-line`, there needs a mean
ldb> to buffer the content of the first line. (Or reset file position
ldb> but I don't think there is a way to do that without
ldb> substantially change lread.c)

Eli> There isn't.  We can only unread one character at a time.

ldb> But it would be easier to only handle the extra whitespace at
ldb> beginning of file.

Eli> So now let me turn the table and ask: if we are only going to support
Eli> whitespace before the semicolon, then what exactly are we gaining
Eli> here?

Haha, we would gain pretty much nothing useful if the issue not resolved.


So as I continue digging into lread.c and trying to find alternative
solutions, I find these:

  DEFSYM (Qget_file_char, "get-file-char");

  /* Used instead of Qget_file_char while loading *.elc files compiled
     by Emacs 21 or older.  */
  DEFSYM (Qget_emacs_mule_file_char, "get-emacs-mule-file-char");

While `get-file-char` is exposed to emacs lisp,
`get-emacs-mule-file-char' is not even a defined lisp function.

There are multiple places in `lread.c` that handles
`Qget_emacs_mule_file_char`. Which I believe it time to consider
them as dead code and remove them.

For the only two functions that calls `lisp_file_lexically_bound_p`,
`load` is hard coded to use `get-file-char` which is a wrapper around
`getc()`, and `eval-buffer` uses the `BUFFERP (readcharfun)`
branch in `readchar`. I think both case can be changed to
use a more flexible way to test file local variables
rather than stick to the READCHAR UNREAD api.

---
ldb





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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 23:00:19 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 19:00:19 2023
Received: from localhost ([127.0.0.1]:43941 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDYiQ-0001MU-UZ
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 19:00:19 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:29930)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1qDYiK-0001MC-Nx
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 19:00:17 -0400
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)
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==
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)
From: Stefan Monnier <monnier@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
In-Reply-To: <83h6qvxv8q.fsf@HIDDEN> (Eli Zaretskii's message of "Sun, 25 Jun
 2023 21:16:53 +0300")
Message-ID: <jwvleg7m9ot.fsf-monnier+emacs@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
 <83h6qvxv8q.fsf@HIDDEN>
Date: Sun, 25 Jun 2023 19:00:04 -0400
User-Agent: Gnus/5.13 (Gnus v5.13)
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.152 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
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@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: -3.3 (---)

> 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





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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 18:16:45 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 14:16:45 2023
Received: from localhost ([127.0.0.1]:43661 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDUI1-0008Dd-F4
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 14:16:45 -0400
Received: from eggs.gnu.org ([209.51.188.92]:42638)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qDUHy-0008DP-Hx
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 14:16:44 -0400
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 <eliz@HIDDEN>)
 id 1qDUHq-00017R-Tk; Sun, 25 Jun 2023 14:16:34 -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=7Hk93dTLALIeryRMluhAq9OP3DZB9sgegVPMjPWCAOA=; b=I/80mE3Od0Zw
 m4PVvuqMxaQRCzstXfxXY8sdVK5cm2+zK6fedizpEzPHCS+w2hXW2GLbysbPixegXedZbtZZ8KrbI
 T+sQoud+rFL6Fx/otNL71N89yCJgum2UvBa/7IbBvKCPoFtElEXOo8YLbfqaiztVujrFwRJhdJhMs
 m++w2TN8EUFvMJT2kDA1O3ljyZb8m93rhqGEDUSBNEMFWkj2XOuCBLB34SiWHeViHcO4T58YMciKC
 xsOVO2lc8W/JI7EAkYzpy6a3/RXqzVqrwPMdCiV2o+MfM0YtHTbGsoWCqYf5QgAp2rFcDmkomLMj7
 7RK5RoilmX5/TzQcRCmQXQ==;
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 <eliz@HIDDEN>)
 id 1qDUHq-0001LN-Da; Sun, 25 Jun 2023 14:16:34 -0400
Date: Sun, 25 Jun 2023 21:16:53 +0300
Message-Id: <83h6qvxv8q.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: LdBeth <andpuke@HIDDEN>
In-Reply-To: <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN> (message
 from LdBeth on Sun, 25 Jun 2023 12:17:40 -0500)
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
 <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, andpuke@HIDDEN, 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: -3.3 (---)

> Date: Sun, 25 Jun 2023 12:17:40 -0500
> From: LdBeth <andpuke@HIDDEN>
> Cc: Stefan Monnier <monnier@HIDDEN>,
> 	andpuke@HIDDEN,
> 	64272 <at> debbugs.gnu.org
> 
> >>>>> In <83mt0ny47z.fsf@HIDDEN> 
> >>>>>	Eli Zaretskii <eliz@HIDDEN> wrote:
> 
> Eli> I'm not sure we want to support this outside of a Lisp comment.
> Eli> Stefan, WDYT?  Could false positives cause harm?
>  
> Stefan> I'd much rather we try and stay as close as possible to the behavior of
> Stefan> `hack-local-variables-prop-line`
> 
> Eli> The fact that most -*- lines are in comments is because they are in
> Eli> program source files, so we need to hide them from the compiler or the
> Eli> interpreter.
> 
> Eli> Am I missing something?
> 
> Ok I find the reason the `lisp_file_lexically_bound_p' would give
> up if the first line isn't a comment is, it said:
> 
>  Return true if the lisp code read using READCHARFUN defines a non-nil
>  `lexical-binding' file variable.  After returning, the stream is
>  positioned following the first line, if it is a comment or #! line,
>  otherwise nothing is read.
> 
> So this function assumes the first line is discarded if file local
> variables would have been read.
> 
> If first line is lisp code, and we want to keep the similar
> behavior of `hack-local-variables-prop-line`, there needs a mean
> to buffer the content of the first line. (Or reset file position
> but I don't think there is a way to do that without
> substantially change lread.c)

There isn't.  We can only unread one character at a time.

> But it would be easier to only handle the extra whitespace at
> beginning of file.

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?




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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 17:23:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 13:23:05 2023
Received: from localhost ([127.0.0.1]:43623 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDTS4-0006qp-N8
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 13:23:05 -0400
Received: from out162-62-58-211.mail.qq.com ([162.62.58.211]:38069)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andpuke@HIDDEN>) id 1qDTRy-0006q1-Ui
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 13:23:03 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com;
 s=s201512; t=1687713464;
 bh=wpwgLkhtHUWhQBp/QEiYBjzntMboJ0+qTjgxsGV++NY=;
 h=Date:From:To:Cc:Subject:In-Reply-To:References;
 b=bDkFucrk04tAc87l2yRwn/3/3sOueYJ2+eDm5y5vykjiEl1F+pcuL+/ygqlvKixvn
 WCY6LVxihHtDnEbA4jBbDg1G+tnShUJ7PJyZQ1SAkSDRNK5CsVbYBvYS+f7XrbRMSU
 oUsYr3ngR023UMHHuNpTa77SwD7GLidF0UAdvjHg=
Received: from 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net ([68.117.253.197])
 by newxmesmtplogicsvrszc2-1.qq.com (NewEsmtp) with SMTP
 id 46921CE5; Mon, 26 Jun 2023 01:17:41 +0800
X-QQ-mid: xmsmtpt1687713461trhgdzcpp
Message-ID: <tencent_B85B85FC3DB9AD753B38E2F5546120EB480A@HIDDEN>
X-QQ-XMAILINFO: MN7J+qOXnZ1Ld2viLhp8XXpYii01QzRysl5p9bnY4YXLQPHRdSKvGzIgVODn2D
 EP9HypS3gZVP9DzpRYKBROCgoFIxdnTuwFmsLochfRAEL/u2ZusHxfRoVG0g2SiivD92WpSaZw6p
 q4dSF1QILg0s4pUxt2Zv0dPp5XnrZ56TaQvV/ZAJBwqE3FomvUnJ5bpsdw0Wud4jyP3Qq46y7aOc
 AYSuWjy7+jbTcatdyS0VVZ/eL5reb6sylcM/6Kj9VUAFNR04JFJJeu+LKZ4rEOHz39j44wdm1spf
 FZC0Rmv+X9wxWpFbVbigbHPyo/gVANT9zw2Gc6jPjpC3Nmvc5G+EPz8aLuAD9ZOK4V7gXJzFJd96
 JMVzNvgg5hy8DlJGKArDbVIAZnzQv5g+5Zw0zkwLvQat4FmOcdJzoPQI2yLJadOHxEWiucZzL+L8
 UTHtgG7Mx3SOpnM1KsYHA/OHdhcL2GJhmF/15kbXNKggsZQ0jnFo8msvMmRmZVSLyzHOtzORajG/
 1iyBWsALVfpxXVLPrPNMtHj8XFK3vGjFnaw+IhfFzXAEHOz+ylL/3sUU9V9zL0pln4rUN+r7nraG
 xzixogeLTzJxNnw0C5P/q958S2vWfsD1LdOzWNC5m8tZWEjKBlscDla/ihWuM51da2zFsUzbv7xo
 VyKZMjuUsXBR65+RI6xvpLbKbdB21cNX4+l4YcV34LZ2zFKXLu8U+I1IRAO0uf48qTSIbwwivJ+t
 ubAMErQHK0QagyHvv19cprFr69dFloTJsYR8PJXnGkY52RcBhyUNV7rnt2fMLOK3+yhhLft+hDLk
 GwixL8/n1JYALAlnq9hI4Zig4HdMRlbcB+xh2oBZL1pWcsIFGpkNBstF+LG8r3fXqha+La12i3Pz
 mrAV0f9QrBvZeQunQPjK2J4/LQd7NKUm+MH9Y0OyX9p6dEX7eKv7sn5Pf0Ydi6Dg==
X-QQ-XMRINFO: NT0eAOK/sSMcVWZR8HXaz7ha97UQQ6B0Jg==
Received: by 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net (Postfix,
 from userid 501)
 id D51D520550DFC4; Sun, 25 Jun 2023 12:17:40 -0500 (CDT)
Date: Sun, 25 Jun 2023 12:17:40 -0500
X-OQ-MSGID: <m2v8fb8nrf.wl-andpuke@HIDDEN>
From: LdBeth <andpuke@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
In-Reply-To: <83mt0ny47z.fsf@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM-LB/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL-LB/10.8 EasyPG/1.0.0
 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO)
X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFb<Gg.-S\WKb-,h]7etnh+:HDw(LTM"LxfPn77.T}[\jU5'G|\1H~Mvj"CigzE!FAO9oe>B"OFczY?'\JtJ\lR'@&Y5j;
 <Xa]M~Osh'13xp{%4W8dF"4&@sZIgtbx:[Zo5]T>s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|<PT#'?Tc4DhhShl\W~mGW/P"<$?Vz8E?80tL/Wu#$}{;
 CSl!pgz'Tn])~<mdt_]i>BGyL8{/`4
X-Now-Playing: ASIAN KUNG-FU GENERATION - =?ISO-2022-JP?B?GyRCJE8kOCReGyhC?=
 =?ISO-2022-JP?B?GyRCJGokTjUoQGEbKEI=?=
X-Attribution: ldb
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
X-Spam-Score: 3.6 (+++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 Content preview: >>>>> In >>>>> Eli Zaretskii wrote: Eli> I'm not sure we want
 to support this outside of a Lisp comment. Eli> Stefan, WDYT? Could false
 positives cause harm? Stefan> I'd much rather we try and stay as close as
 possible to the behavior of Stefan> `hack-local-variables-prop-line` 
 Content analysis details:   (3.6 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (andpuke[at]foxmail.com)
 0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
 no trust [162.62.58.211 listed in list.dnswl.org]
 0.0 RCVD_IN_MSPIKE_H4      RBL: Very Good reputation (+4)
 [162.62.58.211 listed in wl.mailspike.net]
 0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders
 0.4 RDNS_DYNAMIC           Delivered to internal network by host with
 dynamic-looking rDNS
 0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
 3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
 addr 1)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, andpuke@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.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 
 Content preview:  >>>>> In >>>>> Eli Zaretskii wrote: Eli> I'm not sure we want
    to support this outside of a Lisp comment. Eli> Stefan, WDYT? Could false
    positives cause harm? Stefan> I'd much rather we try and stay as close as
    possible to the behavior of Stefan> `hack-local-variables-prop-line` 
 
 Content analysis details:   (2.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 RCVD_IN_MSPIKE_H4      RBL: Very Good reputation (+4)
                             [162.62.58.211 listed in wl.mailspike.net]
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
                              no trust
                             [162.62.58.211 listed in list.dnswl.org]
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (andpuke[at]foxmail.com)
  0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders
  0.4 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS
  0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
  3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
                             addr 1)
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

>>>>> In <83mt0ny47z.fsf@HIDDEN> 
>>>>>	Eli Zaretskii <eliz@HIDDEN> wrote:

Eli> I'm not sure we want to support this outside of a Lisp comment.
Eli> Stefan, WDYT?  Could false positives cause harm?
 
Stefan> I'd much rather we try and stay as close as possible to the behavior of
Stefan> `hack-local-variables-prop-line`

Eli> The fact that most -*- lines are in comments is because they are in
Eli> program source files, so we need to hide them from the compiler or the
Eli> interpreter.

Eli> Am I missing something?

Ok I find the reason the `lisp_file_lexically_bound_p' would give
up if the first line isn't a comment is, it said:

 Return true if the lisp code read using READCHARFUN defines a non-nil
 `lexical-binding' file variable.  After returning, the stream is
 positioned following the first line, if it is a comment or #! line,
 otherwise nothing is read.

So this function assumes the first line is discarded if file local
variables would have been read.

If first line is lisp code, and we want to keep the similar
behavior of `hack-local-variables-prop-line`, there needs a mean
to buffer the content of the first line. (Or reset file position
but I don't think there is a way to do that without
substantially change lread.c)

But it would be easier to only handle the extra whitespace at
beginning of file.

---
ldb





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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 15:42:54 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 11:42:53 2023
Received: from localhost ([127.0.0.1]:43274 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDRt7-0003ln-Jq
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 11:42:53 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:37997)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1qDRt4-0003lR-44
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 11:42:51 -0400
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 73DFF807C4;
 Sun, 25 Jun 2023 11:42:44 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 66AF9805F9;
 Sun, 25 Jun 2023 11:42:43 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1687707763;
 bh=Swkl3mTUahNPCb4exv2PCLqAXO6unOnfZztFT9lvBtw=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=dniRaReXLIenG69d2XZW5g9DXa7VI/Fmv0+vT2WNDhDzMHjAnaRFhsosHzUMvsdwX
 Dffkmw19WJBUiy8HIvl0zCA7a8RtNszS4hx47HBebK+AF+8xJKZA/Hyj5kNMrdld2z
 z/LdO0RpVexP3Ko4wohflyqviWrUSNjPJ7H6f2CtNcIJ15Af+dOvJ3rsZM0GL3wTgw
 aJzjcbvRAuAtpPe6qWlz1CEEtMLm2xeM/pTtZNnF9B5Lrgc1Mgg03HTGKkKiDZ6ydp
 qlsiGt2HmbiVn5oGGwh4rk4/1dU+u3sFnAOIVgzMCZiR+Vciut5S2p8McvsQ23kZ+b
 xEuORUjbKDG9g==
Received: from pastel (69-165-155-162.dsl.teksavvy.com [69.165.155.162])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 3DFB612043F;
 Sun, 25 Jun 2023 11:42:43 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
In-Reply-To: <83mt0ny47z.fsf@HIDDEN> (Eli Zaretskii's message of "Sun, 25 Jun
 2023 18:02:56 +0300")
Message-ID: <jwv7crro8gz.fsf-monnier+emacs@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
 <83mt0ny47z.fsf@HIDDEN>
Date: Sun, 25 Jun 2023 11:42:42 -0400
User-Agent: Gnus/5.13 (Gnus v5.13)
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.166 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
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, andpuke@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: -3.3 (---)

>> I'd much rather we try and stay as close as possible to the behavior of
>> `hack-local-variables-prop-line`
>
> Right, but that doesn't require the -*- line to be a comment:
>
>       (goto-char (point-min))
>       (let ((end (set-auto-mode-1))
> 	    result)
> 	(cond ((not end)
> 	       nil)
> 	      ((looking-at "[ \t]*\\([^ \t\n\r:;]+\\)\\([ \t]*-\\*-\\)")
> 	       ;; Simple form: "-*- MODENAME -*-".
> 	       (if (eq handle-mode t)
> 		   (intern (concat (match-string 1) "-mode"))))
> 	      (t
> 	       ;; Hairy form: '-*-' [ <variable> ':' <value> ';' ]* '-*-'
> 	       ;; (last ";" is optional).
> 	       ;; If HANDLE-MODE is t, just check for `mode'.
> 	       ;; Otherwise, parse the -*- line into the RESULT alist.
>
> The fact that most -*- lines are in comments is because they are in
> program source files, so we need to hide them from the compiler or the
> interpreter.

Oh, indeed.  Then `ldb`s suggestion sounds great since it makes us "stay
as close as possible to the behavior of
`hack-local-variables-prop-line`".


        Stefan





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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 15:02:48 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 11:02:48 2023
Received: from localhost ([127.0.0.1]:43242 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDRGK-0002nJ-DX
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 11:02:48 -0400
Received: from eggs.gnu.org ([209.51.188.92]:47390)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qDRGH-0002my-IK
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 11:02:47 -0400
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 <eliz@HIDDEN>)
 id 1qDRG9-0003Km-U7; Sun, 25 Jun 2023 11:02:37 -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=NdK2dGtmcUG0rZ3WmCp//CxmxPwvWK+JdRAKlnPMKB0=; b=g2nN6a7aCVDJ
 qr2AR8OaHTdZ9wlO8fjjmOzSmFIoSSixgMPmKvIOMLzexSqYY0F51jqO/0HXYzygSkZxYD+w/HLTv
 jmx+pTaDw6ywd9vYX5u+JIWu1WNDF92tILOrOPIdNZ8n03PRJeZ+7VEV1EQl3HaSAJA8BF0/pHv+N
 8AZR/81iE/6wStdh3ZywyX1uEDv4JGIAZQrPiNgvnZhY7mcbVHDfC98xJU8QYPQs1esvBYHQg77Mf
 SOK2kLX/oSTsEW9ID07bseBkmdPp/+MDTYQEJMcEAmLHJ0tqOamFbHJr/8XgOc6/CqC0aoYz/TRXc
 QPXmgeZ0oz0FCzkxD4ZWDw==;
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 <eliz@HIDDEN>)
 id 1qDRG9-0004hp-E9; Sun, 25 Jun 2023 11:02:37 -0400
Date: Sun, 25 Jun 2023 18:02:56 +0300
Message-Id: <83mt0ny47z.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN> (message from Stefan
 Monnier on Sun, 25 Jun 2023 09:37:31 -0400)
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN> <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, andpuke@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: -3.3 (---)

> From: Stefan Monnier <monnier@HIDDEN>
> Cc: LdBeth <andpuke@HIDDEN>,  64272 <at> debbugs.gnu.org
> Date: Sun, 25 Jun 2023 09:37:31 -0400
> 
> > I'm not sure we want to support this outside of a Lisp comment.
> > Stefan, WDYT?  Could false positives cause harm?
> 
> I'd much rather we try and stay as close as possible to the behavior of
> `hack-local-variables-prop-line`

Right, but that doesn't require the -*- line to be a comment:

      (goto-char (point-min))
      (let ((end (set-auto-mode-1))
	    result)
	(cond ((not end)
	       nil)
	      ((looking-at "[ \t]*\\([^ \t\n\r:;]+\\)\\([ \t]*-\\*-\\)")
	       ;; Simple form: "-*- MODENAME -*-".
	       (if (eq handle-mode t)
		   (intern (concat (match-string 1) "-mode"))))
	      (t
	       ;; Hairy form: '-*-' [ <variable> ':' <value> ';' ]* '-*-'
	       ;; (last ";" is optional).
	       ;; If HANDLE-MODE is t, just check for `mode'.
	       ;; Otherwise, parse the -*- line into the RESULT alist.

The fact that most -*- lines are in comments is because they are in
program source files, so we need to hide them from the compiler or the
interpreter.

Am I missing something?




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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 13:37:43 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 09:37:43 2023
Received: from localhost ([127.0.0.1]:42190 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDPvy-0000KC-R4
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 09:37:43 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:40419)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1qDPvv-0000Jy-IL
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 09:37:40 -0400
Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 3BBA84408E3;
 Sun, 25 Jun 2023 09:37:34 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 1A361440894;
 Sun, 25 Jun 2023 09:37:33 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1687700253;
 bh=cy7azo9Rkq+XsLVGk/O2l3apmiHvg/JU+igZpbrWMk8=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=M7glHIGOXQfrD9xw/jTz3DJ2QqpRFbgt7KnLM8bFQRIW7NNR8HCBqJ4t0Sr6OqeFf
 coZoEdRdyfibgnYG/77BHOBmUbav8tWz2+hwbD2OonTTJePpc7z7X28ExWe28KoCzX
 DCv6Pa9Ml7l5To/HbIA5Q+pQCh/Fq7KmG6Yfas+6D8WF0KqGCbv+dmc9goiiGT/kXV
 MAkV1MDCuoCS/hGSeY3zgWvcJi7m9WQuEUvy6iONxi9I8mEmXiPrPV2u3m69Kq2GMb
 /ilSTP3+MPGI+PSL4BiroWdk0qfoh0nu9m/JjHyCi0HFkkaX0JJ6t5CQ6mDzqIRmC5
 GW21D7umOfw+A==
Received: from pastel (69-165-155-162.dsl.teksavvy.com [69.165.155.162])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id E1CBD120180;
 Sun, 25 Jun 2023 09:37:32 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
In-Reply-To: <83wmzsxedw.fsf@HIDDEN> (Eli Zaretskii's message of "Sun, 25 Jun
 2023 09:08:43 +0300")
Message-ID: <jwvsfafoe9a.fsf-monnier+emacs@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
 <83wmzsxedw.fsf@HIDDEN>
Date: Sun, 25 Jun 2023 09:37:31 -0400
User-Agent: Gnus/5.13 (Gnus v5.13)
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.206 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
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@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: -3.3 (---)

> I'm not sure we want to support this outside of a Lisp comment.
> Stefan, WDYT?  Could false positives cause harm?

I'd much rather we try and stay as close as possible to the behavior of
`hack-local-variables-prop-line`


        Stefan





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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 06:08:43 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 25 02:08:43 2023
Received: from localhost ([127.0.0.1]:41929 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDIvT-0001NJ-5z
	for submit <at> debbugs.gnu.org; Sun, 25 Jun 2023 02:08:43 -0400
Received: from eggs.gnu.org ([209.51.188.92]:35786)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qDIvO-0001Mx-At
 for 64272 <at> debbugs.gnu.org; Sun, 25 Jun 2023 02:08:41 -0400
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 <eliz@HIDDEN>)
 id 1qDIvD-0008ME-6V; Sun, 25 Jun 2023 02:08:28 -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=SpEWPw11emv9KaEchK1ZGwTHzlELBgvbt+ZGbTJ9N6g=; b=F1ZCV6H999TK
 BrGTRPz6Yb826/7qzVaAy/ywj0B79RY3N8WI0z4XZ0t4lGSKPLqquXgNSAUdszA+ASuyxR4uy6trF
 V7vqkoly2+HCDEQKk4a4j+/epb24XaYoZVixecI9ino/GNcZcZaawA34vF2qZbuXIDT6pLAZCOyyI
 uiFj3OZTJmX1HbtBzFUTqdmTKTGyJI9ITgFVFW9NpXYvFpkeg3y1UgbsFSMj0+gHhzDX7Vj3wmcK9
 CoZQk2ztYp80N8ECqgM9eZ763feMWFELWfTBt/pam+/KZz4Lv0WIUDN9k4xecU26dN5xe3xcjFQdV
 yB+tk7GwExknauAxCiAJFQ==;
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 <eliz@HIDDEN>)
 id 1qDIvC-00020D-6H; Sun, 25 Jun 2023 02:08:26 -0400
Date: Sun, 25 Jun 2023 09:08:43 +0300
Message-Id: <83wmzsxedw.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: LdBeth <andpuke@HIDDEN>
In-Reply-To: <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN> (message
 from LdBeth on Sat, 24 Jun 2023 21:11:11 -0500)
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
 <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, 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: -3.3 (---)

> Date: Sat, 24 Jun 2023 21:11:11 -0500
> From: LdBeth <andpuke@HIDDEN>
> Cc: LdBeth <andpuke@HIDDEN>,
> 	Stefan Monnier <monnier@HIDDEN>,
> 	64272 <at> debbugs.gnu.org
> 
> Eli> I think we should do the latter, because
> Eli> hack-local-variables-prop-line is more lenient than
> Eli> lisp_file_lexically_bound_p.
> 
> Eli> Stefan, any comments?
> 
> If so, I think the only thing needs to be changed is
> remove the `if (ch != ';')` test.
> 
> Since from what I test, even if first line is something like
> 
> |(setq tmp " -*- lexical-binding: t -*- ")
> 
> the file local variables would still be applied.

I'm not sure we want to support this outside of a Lisp comment.
Stefan, WDYT?  Could false positives cause harm?




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

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


Received: (at 64272) by debbugs.gnu.org; 25 Jun 2023 02:11:39 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 24 22:11:39 2023
Received: from localhost ([127.0.0.1]:41768 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qDFE3-0000MW-28
	for submit <at> debbugs.gnu.org; Sat, 24 Jun 2023 22:11:39 -0400
Received: from out203-205-221-210.mail.qq.com ([203.205.221.210]:34541)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andpuke@HIDDEN>) id 1qDFDv-0000M6-PY
 for 64272 <at> debbugs.gnu.org; Sat, 24 Jun 2023 22:11:36 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com;
 s=s201512; t=1687659077;
 bh=udDwLPx2bMk7UHx3UPgixBi4hIHkUqtOO8/aXtRfNs8=;
 h=Date:From:To:Cc:Subject:In-Reply-To:References;
 b=auMBKizcjFE9r5pASb3FjCx/pAk41n+S38XHG4gbZm7jYOKwhPR5CpJSf+efnGqPx
 Ukg50uNupXbsdS4IwQZqP3mGJMqE34QgymCD5NV5ebsXLRCRZb8AUns+u22RMY78rG
 V9B11gfYni8+mhTGx8Ll+hLDuyDGBTcgHXp9JSds=
Received: from 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net ([68.117.253.197])
 by newxmesmtplogicsvrsza10-0.qq.com (NewEsmtp) with SMTP
 id 2CDA1CF5; Sun, 25 Jun 2023 10:11:13 +0800
X-QQ-mid: xmsmtpt1687659073tgadqypej
Message-ID: <tencent_BAFFD4DC56BA8B1D057BA430747402AD2609@HIDDEN>
X-QQ-XMAILINFO: NC8yWKBhiTNvRRyKJT8CCamjyHhxw85YIhIUuhE5gD8YObsxzZkd9hR9s64wjD
 FhT8Fkt64Tav2ccY+oDbPLjcpHL4B1G2fkzAOidMPM6CDgXhAmg6efM8iGN3P1g3nhgEQI+8pjhp
 nh87fOVhacBbEf+DRTmxMLJ+FAsksVxqBEfONjKrmkVDWzXDykywnUWpd7Z9BGNDycs0kpFe+Hfr
 rHhQOMjdCMW/aCqfmNNKNPej8C30SkCJigrRl2XgEKfnuxfKUMxsy+rkmQqtkorj551u9QJQoV6t
 17RpZrNe3jOCzQlG3jI2ZxqNVREoHfhjphKxfQ7VTU38EC0L3coKSJV1r8/tYjUvEAtWRBI1ZiIt
 Rc7JdXqRzDCbBclS8x0sNVQsG9CC5zEkjNo6CN5uIU73w0Sf0lNOpU960iHIAWcV3SHxtioQa6Yw
 x8KVuaiwWIgXxW1JOoSx+fTM6YGjac1xN3X+KxE1BaHCyY4tcajejqk/GgU754j/gtIQq/OgU4bz
 TDiRcGCkvETSwMuHiQrjli1zxWaHS4kebHCiMPkZNl6nW+N5s8RyMB11DW7rgWZB70ueYfC66ckD
 XfNcl78agLkciWoWgeKrV/RlC53JNnEA2CUeWl1ZxCi8f6leQ02vxZc1+auINoIgwER6jMujBA6O
 jgarkh0TRwv+qJSgJgUMQN6mDoZQwrI/rxV4J/BbIVhUPZbAZsmN3UmQ+qNo9cI9P1odsiyCMNcS
 wo9fFRzhlGY9Uqf+KlIiuDeAey7eOr2aG6kHli0oaGQAK1T0JboTdRG+kW61eYKoQrq7gdj4bmPE
 /ZkWKnKEJChHbfrFmzJKK6K9U97DaUKBrIjpXeM1J1EWqskCs91jeBVfra6RX1CNMH2e46l2LqWU
 8P1p1aptTBQgYelWm/zBZ81d8Rk+OqgbOQ3FwXnyOMIu3Qpok4VcSitO0QORN/NER89D1iVTNv5b
 bE2FAChvI=
X-QQ-XMRINFO: MMd9k4KOWfk4EI9u9DiMAPPHFKKkl9Wo5w==
Received: by 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net (Postfix,
 from userid 501)
 id 2EF012055091AC; Sat, 24 Jun 2023 21:11:11 -0500 (CDT)
Date: Sat, 24 Jun 2023 21:11:11 -0500
X-OQ-MSGID: <m2pm5kz3y8.wl-andpuke@HIDDEN>
From: LdBeth <andpuke@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
In-Reply-To: <83zg4oy9ow.fsf@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM-LB/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL-LB/10.8 EasyPG/1.0.0
 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO)
X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFb<Gg.-S\WKb-,h]7etnh+:HDw(LTM"LxfPn77.T}[\jU5'G|\1H~Mvj"CigzE!FAO9oe>B"OFczY?'\JtJ\lR'@&Y5j;
 <Xa]M~Osh'13xp{%4W8dF"4&@sZIgtbx:[Zo5]T>s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|<PT#'?Tc4DhhShl\W~mGW/P"<$?Vz8E?80tL/Wu#$}{;
 CSl!pgz'Tn])~<mdt_]i>BGyL8{/`4
X-Now-Playing: ASIAN KUNG-FU GENERATION - =?ISO-2022-JP?B?GyRCJE8kOCReGyhC?=
 =?ISO-2022-JP?B?GyRCJGokTjUoQGEbKEI=?=
X-Attribution: ldb
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
X-Spam-Score: 3.6 (+++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 Content preview:  >>>>> In >>>>> Eli Zaretskii wrote: ldb> This behavior is
 in contrast to how file local variables are applied ldb> when opening a file, 
 that is, as long as the variable list is in ldb> the first line, it is applied.
 ldb> ldb> Either the [...] 
 Content analysis details:   (3.6 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (andpuke[at]foxmail.com)
 0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
 no trust [203.205.221.210 listed in list.dnswl.org]
 -0.0 SPF_PASS               SPF: sender matches SPF record
 0.4 RDNS_DYNAMIC           Delivered to internal network by host with
 dynamic-looking rDNS
 0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
 3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
 addr 1)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@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.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.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
 the administrator of that system for details.
 
 Content preview:  >>>>> In >>>>> Eli Zaretskii wrote: ldb> This behavior is
   in contrast to how file local variables are applied ldb> when opening a file,
    that is, as long as the variable list is in ldb> the first line, it is applied.
    ldb> ldb> Either the [...] 
 
 Content analysis details:   (2.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
                              no trust
                             [203.205.221.210 listed in list.dnswl.org]
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (andpuke[at]foxmail.com)
  0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.4 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS
  0.0 MSGID_FROM_MTA_HEADER  Message-Id was added by a relay
  3.2 HELO_DYNAMIC_IPADDR    Relay HELO'd using suspicious hostname (IP
                             addr 1)
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager



>>>>> In <83zg4oy9ow.fsf@HIDDEN> 
>>>>>	Eli Zaretskii <eliz@HIDDEN> wrote:

ldb> This behavior is in contrast to how file local variables are applied
ldb> when opening a file, that is, as long as the variable list is in
ldb> the first line, it is applied.
ldb> 
ldb> Either the documentation should bring up this behavior, or the
ldb> C function `lisp_file_lexically_bound_p' in `src/lread.c' should be fixed.

Eli> I think we should do the latter, because
Eli> hack-local-variables-prop-line is more lenient than
Eli> lisp_file_lexically_bound_p.

Eli> Stefan, any comments?

If so, I think the only thing needs to be changed is
remove the `if (ch != ';')` test.

Since from what I test, even if first line is something like

|(setq tmp " -*- lexical-binding: t -*- ")

the file local variables would still be applied.

---
ldb





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

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


Received: (at 64272) by debbugs.gnu.org; 24 Jun 2023 19:08:13 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 24 15:08:13 2023
Received: from localhost ([127.0.0.1]:41518 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qD8cH-0002VX-J4
	for submit <at> debbugs.gnu.org; Sat, 24 Jun 2023 15:08:13 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:62726)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1qD8cC-0002VH-C0
 for 64272 <at> debbugs.gnu.org; Sat, 24 Jun 2023 15:08:11 -0400
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 1F154806A7;
 Sat, 24 Jun 2023 15:08:03 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 205058004C;
 Sat, 24 Jun 2023 15:08:02 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1687633682;
 bh=iwftEOZ1NDWNYuL7S538ayugczO49sn3khiiE2KIkvg=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=YYLQXZpbcXtmepqp3wtrLcx5C06vVcEdYv2x4ZSCPsjUwLOcQPWPgVkClYG1hdaSf
 AHy7TCozGDGcc0Z8FK72M34SmYUNNjore1Y0ZH+O1HxspZ+rnxupcpBqYpZrEXr93O
 /gCutQXGL3un+LmuIxpHpdFaSzmVnv40E8kItu4hnFJrUfR4JxrJgGRuiZ0G8QrF0H
 FyYUczrMzFizR4xOKRCXwZxCqkBWYkaCWqx8EE00oRnv1fpdWlzE/SmxpwEwjGhJ1X
 Q9aREuV/1P491gkGw1qYdcd7n1Q55GkSMRKjDtAGGXkpiKuCFEjr9N05n0vSa24tXP
 ZuyfEJ7wDMpOw==
Received: from pastel (69-165-155-162.dsl.teksavvy.com [69.165.155.162])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id EBE61120978;
 Sat, 24 Jun 2023 15:08:01 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Eli Zaretskii <eliz@HIDDEN>
Subject: Re: bug#64272: 28.1; lisp_file_lexically_bound_p behavior
 mismatches file local variables
In-Reply-To: <83zg4oy9ow.fsf@HIDDEN> (Eli Zaretskii's message of "Sat, 24 Jun
 2023 21:52:31 +0300")
Message-ID: <jwv8rc8r87p.fsf-monnier+emacs@HIDDEN>
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
 <83zg4oy9ow.fsf@HIDDEN>
Date: Sat, 24 Jun 2023 15:08:01 -0400
User-Agent: Gnus/5.13 (Gnus v5.13)
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.365 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
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <at> debbugs.gnu.org, LdBeth <andpuke@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: -3.3 (---)

>> Either the documentation should bring up this behavior, or the
>> C function `lisp_file_lexically_bound_p' in `src/lread.c' should be fixed.
> I think we should do the latter, because
> hack-local-variables-prop-line is more lenient than
> lisp_file_lexically_bound_p.

I'd tend to agree.


        Stefan "Looking forward to the day we can default
                `lexical-binding` to non-nil"





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

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


Received: (at 64272) by debbugs.gnu.org; 24 Jun 2023 18:52:34 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 24 14:52:34 2023
Received: from localhost ([127.0.0.1]:41513 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qD8N7-00028b-Vo
	for submit <at> debbugs.gnu.org; Sat, 24 Jun 2023 14:52:34 -0400
Received: from eggs.gnu.org ([209.51.188.92]:37150)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1qD8N4-00028K-9Z
 for 64272 <at> debbugs.gnu.org; Sat, 24 Jun 2023 14:52:32 -0400
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 <eliz@HIDDEN>)
 id 1qD8Mq-0000hq-Lk; Sat, 24 Jun 2023 14:52:16 -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=Ns0ZBSKLwhyJ6+8LzIW3ueCosvfjr9ioSrP5xEp+RQk=; b=HZsLZHH84p4e
 poawvlc4CJ5z5RsOAcBUCyPLKdzRFE7t8XO56W+ltif3y0btUtnPPbAYCQtBAEA/arIRbxD+fz9+g
 CsKtVoAmxioy2NmHN5ufZBTPQXU6ZMgHOcpQPRpUDjGGEy1e9uu/1G5TQfrLThb49L1c5/XgGeR47
 7/yycFNll7/HW8CziQ70xy8lAzZxYsxC0pN4TwEvhSGVY4Ueu5TW4V53Wy9upBnm9d11WtB764j+i
 SoyyWhKyBhzo+NCIvIKS0yBEiiTGCufsyeZ6/xps9V2jWaU5kDLT8EPZLtomITiRbRHk+qcJ0eDue
 /WqDiPh0QeEsJ1dzIsRlfA==;
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 <eliz@HIDDEN>)
 id 1qD8Mq-0005jM-60; Sat, 24 Jun 2023 14:52:16 -0400
Date: Sat, 24 Jun 2023 21:52:31 +0300
Message-Id: <83zg4oy9ow.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: LdBeth <andpuke@HIDDEN>,
 Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN> (message
 from LdBeth on Sat, 24 Jun 2023 13:22:38 -0500)
Subject: Re: bug#64272: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
References: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 64272
Cc: 64272 <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 (---)

> Date: Sat, 24 Jun 2023 13:22:38 -0500
> From: LdBeth <andpuke@HIDDEN>
> 
> 
> Basically, if an emacs lisp source file starts with some whitespace
> 
> | ;; -*- lexical-binding: t -*-
> |(let ((x 1)) (setq foo (lambda () x)))
> |(funcall foo)
> 
> rather than
> 
> |;; -*- lexical-binding: t -*-
> |(let ((x 1)) (setq foo (lambda () x)))
> |(funcall foo)
> 
> that will cause `load' eval the file with `lexical-binding' set to nil,
> and would report `x' is a void variable.
> 
> This behavior is in contrast to how file local variables are applied
> when opening a file, that is, as long as the variable list is in
> the first line, it is applied.
> 
> Either the documentation should bring up this behavior, or the
> C function `lisp_file_lexically_bound_p' in `src/lread.c' should be fixed.

I think we should do the latter, because
hack-local-variables-prop-line is more lenient than
lisp_file_lexically_bound_p.

Stefan, any comments?




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

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


Received: (at submit) by debbugs.gnu.org; 24 Jun 2023 18:23:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 24 14:23:15 2023
Received: from localhost ([127.0.0.1]:41493 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qD7uk-0001Jp-26
	for submit <at> debbugs.gnu.org; Sat, 24 Jun 2023 14:23:15 -0400
Received: from lists.gnu.org ([209.51.188.17]:36944)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andpuke@HIDDEN>) id 1qD7ue-0001Jc-7P
 for submit <at> debbugs.gnu.org; Sat, 24 Jun 2023 14:23:13 -0400
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 <andpuke@HIDDEN>)
 id 1qD7uc-00067z-K5
 for bug-gnu-emacs@HIDDEN; Sat, 24 Jun 2023 14:23:06 -0400
Received: from out162-62-57-210.mail.qq.com ([162.62.57.210])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <andpuke@HIDDEN>)
 id 1qD7uX-0005a5-0z
 for bug-gnu-emacs@HIDDEN; Sat, 24 Jun 2023 14:23:06 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com;
 s=s201512; t=1687630963;
 bh=PJpBO1XDnkA9SyWzzdlY7pd+v9N93b8T1pSmWGq57Hc=;
 h=Date:From:To:Subject;
 b=FKf3OoZDcPDGiRfZJz1iyfswg+Tff7iBRobZjxG3loH159yrIUxRxaqzyfZZhjn6s
 6jqqCoeKnlw9C6IiH+Xd7xptcit/CcVz0aLMbB05ALlpyO9WjTJjsFkX1Eoygpjnr7
 MFh/B9U0ljKLWxtxuJWP6YsELE+VNSiObIdQQqWw=
Received: from 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net ([68.117.253.197])
 by newxmesmtplogicsvrszb6-0.qq.com (NewEsmtp) with SMTP
 id 5A83D0F4; Sun, 25 Jun 2023 02:22:40 +0800
X-QQ-mid: xmsmtpt1687630960thmlfu7k4
Message-ID: <tencent_3BBEDCD6BB431C497BC830E6747AAC14FF09@HIDDEN>
X-QQ-XMAILINFO: N4r4IakIsd1ka2TaDzeQx91pQzq+nJvo0TXWeuOSQ8iWOHoRnxGLhKIeyD5Byp
 ZHz3NcT7OOAAmjF81WMRWvPU1auuytL/Zt2yho0IXiN7K2aoPMjZ18n+3oNVziJk6pLE64csH18f
 K03txOtJGJKT/DXCm488LgSeHNCtGhTOUK31lLdkpUNOxtLTsql94DS076zkAfChVNfkBpQnv7dL
 2ALPDjTqI6NPh4N7GW1QOW5vfx5z4mJq9Btq299hyx1NdGCVhiPH6W/FluwClrGcJBYuyJd4d68L
 gQc4CBgZaAFLu3X9ZXDVZDYtsXuUzcUFDEoVWlzyUOB4ghVW4BpALUh4AxxnKI80GN+rW2o7Vajo
 2tne14GvuqJPQ/c7N/L8fbOumnbQ6Y2SulcnHb4b918VI3DCuuqKcmskA8DU6OeU4l4bTVyQSPLn
 kjYp8ljMBXDqv8Ivid6gqtzYzLFRw8BR2yh7RZ/KrzTUpwEWTWAzWJE4LxXh//fs3wxryhcelU00
 DQnaR3AOFC+rBtmSJK6vyw+DolhiuUxlItKOn7pt7ErKSwyjOtQRFD8TK2jkveysg+762CuJuUkv
 Mfp470948dj197ChZBeIhq40sMUnzkDzHBKhp8SITgHYLJpQNwx2jvfrmz6cxxNHuyil6zcrTHfY
 usywLOXp+Ia4cq4BCOXf/9ZeD5GYf/VPaJGK6r5btb9dADWTas6my5mXoIAWr6pKvRPrHYn1R0Ou
 J4iKX/GFXMo3m55CZW0ZDdfHUL5uR97yR6s+llPWZBzdQA9FKIXwHDXrykLB0ptdV+cROfRWnSRO
 NJm8OpN2EWYQfy+ibwznuZ01n8ESqBIoUEScvWhToKEQJBv8j9JZgjiC3qV/yXi5Kvauxgn3+ICW
 rnU47MLYBGiSLy6DYJVAk=
X-QQ-XMRINFO: MMd9k4KOWfk4EI9u9DiMAPPHFKKkl9Wo5w==
Received: by 172-12-5-160.lightspeed.sgnwmi.sbcglobal.net (Postfix,
 from userid 501)
 id 1ECC82054FE37D; Sat, 24 Jun 2023 13:22:38 -0500 (CDT)
Date: Sat, 24 Jun 2023 13:22:38 -0500
X-OQ-MSGID: <m2cz1ku3dd.wl-andpuke@HIDDEN>
From: LdBeth <andpuke@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 28.1;
 lisp_file_lexically_bound_p behavior mismatches file local variables
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM-LB/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL-LB/10.8 EasyPG/1.0.0
 Emacs/28.1 (x86_64-apple-darwin21.4.0) MULE/6.0 (HANACHIRUSATO)
X-Face: %[!P\u/BKFRGn_9h9|yO"ho?C0ej^LmM}WMb-`Jfj8OsS^^AKmHYGlD@^|7SEA3UzOGPFb<Gg.-S\WKb-,h]7etnh+:HDw(LTM"LxfPn77.T}[\jU5'G|\1H~Mvj"CigzE!FAO9oe>B"OFczY?'\JtJ\lR'@&Y5j;
 <Xa]M~Osh'13xp{%4W8dF"4&@sZIgtbx:[Zo5]T>s8{$&|3D>^i.U4l2h?1qpD.+{[$~j]vBeHZf^|<PT#'?Tc4DhhShl\W~mGW/P"<$?Vz8E?80tL/Wu#$}{;
 CSl!pgz'Tn])~<mdt_]i>BGyL8{/`4
X-Attribution: ldb
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
Received-SPF: pass client-ip=162.62.57.210; envelope-from=andpuke@HIDDEN;
 helo=out162-62-57-210.mail.qq.com
X-Spam_score_int: 8
X-Spam_score: 0.8
X-Spam_bar: /
X-Spam_report: (0.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,
 HELO_DYNAMIC_IPADDR=1.951, MSGID_FROM_MTA_HEADER=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -2.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 (--)


Basically, if an emacs lisp source file starts with some whitespace

| ;; -*- lexical-binding: t -*-
|(let ((x 1)) (setq foo (lambda () x)))
|(funcall foo)

rather than

|;; -*- lexical-binding: t -*-
|(let ((x 1)) (setq foo (lambda () x)))
|(funcall foo)

that will cause `load' eval the file with `lexical-binding' set to nil,
and would report `x' is a void variable.

This behavior is in contrast to how file local variables are applied
when opening a file, that is, as long as the variable list is in
the first line, it is applied.

Either the documentation should bring up this behavior, or the
C function `lisp_file_lexically_bound_p' in `src/lread.c' should be fixed.



-- 
ldb





Acknowledgement sent to LdBeth <andpuke@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#64272; 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: Sat, 20 Jan 2024 12:30:02 UTC

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