GNU logs - #69521, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#69521: 29.1; Adding a DECLARE spec equivalent to DECLARE-FUNCTION
Resent-From: Adam Porter <adam@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 03 Mar 2024 10:50:01 +0000
Resent-Message-ID: <handler.69521.B.170946298217698 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 69521 <at> debbugs.gnu.org
Message-ID: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN>
Date: Sun, 3 Mar 2024 04:49:02 -0600
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: Adam Porter <adam@HIDDEN>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Received-SPF: neutral client-ip=23.83.209.151; envelope-from=adam@HIDDEN;
 helo=quail.birch.relay.mailchannels.net
X-Spam_score_int: 0
X-Spam_score: -0.0
X-Spam_bar: /
X-Spam_report: (-0.0 / 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,
 RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001,
 RCVD_IN_VALIDITY_RPBL=1.31, SPF_HELO_NONE=0.001, SPF_NEUTRAL=0.779,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.7 (-)
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.7 (--)

Hi,

In light of [this thread], this seems like a good time to propose this
idea: to enhance the `declare' form with a `function' spec equivalent to
the top-level `declare-function' form.  This allows keeping the
declaration inside the function that makes it necessary, which has a few
advantages:

1. It clearly indicates which function makes the declaration necessary
    (i.e. which function contains calls to the function in another
    library).
2. If the function is moved to another file, the declaration moves with
    it.
3. If the function is removed, the declaration is removed with it.
4. It reduces the number of top-level forms.

Also, it seems like a natural fit, i.e. `declare-function' to `(declare
(function ...))'.

As an experiment, I implemented this in [Ement] about 10 months ago, and
I've neither seen nor heard of any problems with it.  Here's the code
that implements it:

┌────
│ (eval-and-compile
│   (defun ement--byte-run--declare-function (_name _args &rest values)
│     "Return a `declare-function' form with VALUES.
│ Allows the use of a form like:
│
│   (declare (function FN FILE ...))
│
│ inside of a function definition, effectively keeping its
│ `declare-function' form inside the function definition, ensuring
│ that stray such forms don't remain if the function is removed."
│     `(declare-function ,@values))
│
│   (cl-pushnew '(function ement--byte-run--declare-function) 
defun-declarations-alist :test #'equal)
│   (cl-pushnew '(function ement--byte-run--declare-function) 
macro-declarations-alist :test #'equal))
└────

In use, it looks like this:

┌────
│ (defun ement-notifications--make (notification)
│   "Return an `ement-notification' struct for NOTIFICATION.
│ NOTIFICATION is an alist representing a notification returned
│ from the \"/notifications\" endpoint.  The notification's event
│ is passed through `ement--make-event'."
│   (declare (function ement--make-event "ement"))
│   (pcase-let (((map room_id _actions _ts event read) notification))
│     (make-ement-notification :room-id room_id :readp read
│                              :event (ement--make-event event))))
└────

Would this be an acceptable addition to Emacs Lisp?  If so, I'd be glad
to prepare a patch.

Thanks, Adam

[this thread]
<https://lists.gnu.org/archive/html/emacs-devel/2024-03/msg00057.html>

[Ement] <https://elpa.gnu.org/packages/ement.html>

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Adam Porter <adam@HIDDEN>
Subject: bug#69521: Acknowledgement (29.1; Adding a DECLARE spec
 equivalent to DECLARE-FUNCTION)
Message-ID: <handler.69521.B.170946298217698.ack <at> debbugs.gnu.org>
References: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN>
X-Gnu-PR-Message: ack 69521
X-Gnu-PR-Package: emacs
Reply-To: 69521 <at> debbugs.gnu.org
Date: Sun, 03 Mar 2024 10:50:01 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 69521 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
69521: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69521
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#69521: 29.1; Adding a DECLARE spec equivalent to DECLARE-FUNCTION
Resent-From: Eli Zaretskii <eliz@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 03 Mar 2024 11:22:02 +0000
Resent-Message-ID: <handler.69521.B69521.170946487120746 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Adam Porter <adam@HIDDEN>
Cc: 69521 <at> debbugs.gnu.org
Date: Sun, 03 Mar 2024 13:18:14 +0200
Message-Id: <86frx7o96x.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
In-Reply-To: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN> (message
 from Adam Porter on Sun, 3 Mar 2024 04:49:02 -0600)
References: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN>
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

severity 69521 wishlist
thanks

> Date: Sun, 3 Mar 2024 04:49:02 -0600
> From: Adam Porter <adam@HIDDEN>
> 
> In light of [this thread], this seems like a good time to propose this
> idea: to enhance the `declare' form with a `function' spec equivalent to
> the top-level `declare-function' form.  This allows keeping the
> declaration inside the function that makes it necessary, which has a few
> advantages:

Thanks, but I think this should be discussed on emacs-devel first.
The bug tracker is not a good vessel of discussing ideas; in
particular. quite a few of people who should be part of such a
discussion don't read bug-gnu-emacs regularly, and must be explicitly
CC'ed to take notice.

So I suggest to start the discussion on emacs-devel, and only switch
here if/when the idea and its implementation aspects are clear enough
to post a patch.

Thanks.

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

Received: (at control) by debbugs.gnu.org; 3 Mar 2024 11:21:11 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Mar 03 06:21:11 2024
Received: from localhost ([127.0.0.1]:39838 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rgju2-0005OX-RB
	for submit <at> debbugs.gnu.org; Sun, 03 Mar 2024 06:21:11 -0500
Received: from eggs.gnu.org ([209.51.188.92]:35122)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>)
 id 1rgjtx-0005Nm-NX; Sun, 03 Mar 2024 06:21:09 -0500
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 1rgjrH-0000kK-UE; Sun, 03 Mar 2024 06:18:19 -0500
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=RNk3inunL4o+rDe8iy39q6eEb5wpf+Vp8EBRS63jz+M=; b=NwjS2lYTWD/v
 KOCWpIRsDPRjiCe8fYZyKE2x6pE1m9D68DREzM4RZg++2eTBgTs5XTF19NEAqfisBQpL8YzwKboCI
 M55omGZ1JAxh+aaZ/u6U7/6t0+BNCjApg1o0lZb+wp4d9pHyGg8HpC6mCNIafzVESqJ7uWTpiQjz2
 N3+DMhbZydSeC62idNxLqcuJloKPJ8bZmkQ1Wsc7CA1xn9ue7Fkr7UnUpyDJlTOFWUTjPr9Q3jT7l
 R01cJRUuoX2Z7U4rQmVBBENAWEhFUMYeAS4DkbETLIX3rHMwzLYippcYaF7BdmSljBdqcTAdhzkRb
 /CChHl1u2MJ2gSJXtR0qlQ==;
Date: Sun, 03 Mar 2024 13:18:14 +0200
Message-Id: <86frx7o96x.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
To: Adam Porter <adam@HIDDEN>
In-Reply-To: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN> (message
 from Adam Porter on Sun, 3 Mar 2024 04:49:02 -0600)
Subject: Re: bug#69521: 29.1;
 Adding a DECLARE spec equivalent to DECLARE-FUNCTION
References: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN>
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: control
Cc: 69521 <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 (---)

severity 69521 wishlist
thanks

> Date: Sun, 3 Mar 2024 04:49:02 -0600
> From: Adam Porter <adam@HIDDEN>
> 
> In light of [this thread], this seems like a good time to propose this
> idea: to enhance the `declare' form with a `function' spec equivalent to
> the top-level `declare-function' form.  This allows keeping the
> declaration inside the function that makes it necessary, which has a few
> advantages:

Thanks, but I think this should be discussed on emacs-devel first.
The bug tracker is not a good vessel of discussing ideas; in
particular. quite a few of people who should be part of such a
discussion don't read bug-gnu-emacs regularly, and must be explicitly
CC'ed to take notice.

So I suggest to start the discussion on emacs-devel, and only switch
here if/when the idea and its implementation aspects are clear enough
to post a patch.

Thanks.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#69521: 29.1; Adding a DECLARE spec equivalent to DECLARE-FUNCTION
Resent-From: Adam Porter <adam@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 03 Mar 2024 21:05:02 +0000
Resent-Message-ID: <handler.69521.B69521.170949988028062 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69521
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Eli Zaretskii <eliz@HIDDEN>
Cc: 69521 <at> debbugs.gnu.org
Received: via spool by 69521-submit <at> debbugs.gnu.org id=B69521.170949988028062
          (code B ref 69521); Sun, 03 Mar 2024 21:05:02 +0000
Received: (at 69521) by debbugs.gnu.org; 3 Mar 2024 21:04:40 +0000
Received: from localhost ([127.0.0.1]:41369 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rgt0h-0007IY-TP
	for submit <at> debbugs.gnu.org; Sun, 03 Mar 2024 16:04:40 -0500
Received: from black.elm.relay.mailchannels.net ([23.83.212.19]:48246)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <adam@HIDDEN>) id 1rgt0f-0007IQ-TI
 for 69521 <at> debbugs.gnu.org; Sun, 03 Mar 2024 16:04:39 -0500
X-Sender-Id: dreamhost|x-authsender|adam@HIDDEN
Received: from relay.mailchannels.net (localhost [127.0.0.1])
 by relay.mailchannels.net (Postfix) with ESMTP id 8118C422A3;
 Sun,  3 Mar 2024 21:04:07 +0000 (UTC)
Received: from pdx1-sub0-mail-a202.dreamhost.com (unknown [127.0.0.6])
 (Authenticated sender: dreamhost)
 by relay.mailchannels.net (Postfix) with ESMTPA id 302A142C0F;
 Sun,  3 Mar 2024 21:04:07 +0000 (UTC)
ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1709499847; a=rsa-sha256;
 cv=none;
 b=DqO9SoUyQoOSu1kzF0Ahed3rldrjlNiaeeI8XQxxSPiocxtz94b6cNVWJ5mWdl+ZYwe7+0
 HFleWFGp1RZbD3+R/3cURlp9gOqtpFgLr0Xo7Zi20tFtlpLlHhdV5rRNme/cHX2zjlMVAM
 lpGpkphGgdc06lckowyRJPdHol0QhCfpYBlqw+U/cfb4WLMvOoW2ZtuwgC2zd/ndJT0yfa
 2PU5+C5qFf9LTcKU6n4I7yW753QFOaYP8eWkVDdPGYGA/WQjc60MwfKtmQ5oEHfyFkEBcX
 wRe2RU1wIxwGxaWZcn8Ljx+0TYDnvaRhVkv7PWkvberFVEYccLl9w1wzlfhhOA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed;
 d=mailchannels.net; s=arc-2022; t=1709499847;
 h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
 to:to:cc:cc:mime-version:mime-version:content-type:content-type:
 content-transfer-encoding:content-transfer-encoding:
 in-reply-to:in-reply-to:references:references:dkim-signature;
 bh=OJ/PiI5ZYK8UGOh1OUuRGiqm4KU7uzdrtJjD0vkn/BE=;
 b=I6NvUK6rS8iOO9sdwI4r92ks4UM9R1X7pxZnagmge/IhBwarO1Lsndi90mSzmvtUgSlKBD
 6ueMfznB+Y4suJiMW+gIQ+I9S/O5pKIk+JH9C7UQZLqKqe0ReVpnvlO5rHc+FxNwfQ8x/Z
 1TabQnQ176PozFflq5295KeKfmDxRR6Q1hVbhxk+4J84nvireDFW2WoBEG31FAHM4x+8LK
 hbIMlDU15Sc2Vg2wLWBm1hAjQpax3k+jHdF2QMKqxyEM0wzdzyvnrLkBadETzGUb/rgoa4
 TnhssgR3rh1YLetC5djxhojjxcAzR8w20d7H7PYwXqiM0xjj1AmJbPetjdviNQ==
ARC-Authentication-Results: i=1; rspamd-7f9dd9fb96-pr8lr;
 auth=pass smtp.auth=dreamhost smtp.mailfrom=adam@HIDDEN
X-Sender-Id: dreamhost|x-authsender|adam@HIDDEN
X-MC-Relay: Neutral
X-MailChannels-SenderId: dreamhost|x-authsender|adam@HIDDEN
X-MailChannels-Auth-Id: dreamhost
X-Imminent-Power: 6803aab1133da4ef_1709499847424_2027902606
X-MC-Loop-Signature: 1709499847424:739313868
X-MC-Ingress-Time: 1709499847424
Received: from pdx1-sub0-mail-a202.dreamhost.com (pop.dreamhost.com
 [64.90.62.162]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384)
 by 100.104.192.87 (trex/6.9.2); Sun, 03 Mar 2024 21:04:07 +0000
Received: from [10.66.3.66] (unknown [91.193.232.98])
 (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
 (No client certificate requested)
 (Authenticated sender: adam@HIDDEN)
 by pdx1-sub0-mail-a202.dreamhost.com (Postfix) with ESMTPSA id 4TnvT25HXWz9g; 
 Sun,  3 Mar 2024 13:04:06 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alphapapa.net;
 s=dreamhost; t=1709499847;
 bh=OJ/PiI5ZYK8UGOh1OUuRGiqm4KU7uzdrtJjD0vkn/BE=;
 h=Date:Subject:To:Cc:From:Content-Type:Content-Transfer-Encoding;
 b=ecDYugDsrydPZVvBtHaKj5wRmUEMtmOVmo4dOHTfY+vV8Jr1wVV6/56hM5P1OJYZb
 pg3PSDAYEbyOGlmFwNQC2Txy5SCrm33C2ND9Kdc/th9YShsqSkMa6d4fF9TvCj1XWk
 zUvuSWutkK4bK8qf+JdcG0Nda5gR0HRtOSW8DwDWqU16xmKejZmlmyuAA5E6484klh
 9iOsNUIGT+/1tn3/5hgne0SuF2rrQdfSWkIXOVerJetZ0juNiLDMnnelZsHZK1VoL0
 COTCs7sV4Jh9X3WCyMErxcH9REgyO8pejwzsH1P9w1S91Nn7fu9N6nNGCTyQ6CmQOP
 MrAjLR/WZKx3A==
Message-ID: <babbe557-0506-471f-b074-3d36d34d397c@HIDDEN>
Date: Sun, 3 Mar 2024 15:04:05 -0600
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
References: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN>
 <86frx7o96x.fsf@HIDDEN>
From: Adam Porter <adam@HIDDEN>
In-Reply-To: <86frx7o96x.fsf@HIDDEN>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.6 (/)
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: -0.4 (/)

On 3/3/24 05:18, Eli Zaretskii wrote:

> Thanks, but I think this should be discussed on emacs-devel first.
> The bug tracker is not a good vessel of discussing ideas; in
> particular. quite a few of people who should be part of such a
> discussion don't read bug-gnu-emacs regularly, and must be explicitly
> CC'ed to take notice.
> 
> So I suggest to start the discussion on emacs-devel, and only switch
> here if/when the idea and its implementation aspects are clear enough
> to post a patch.

Ok, I filed the bug report because I had mentioned it in that thread and 
it seemed to get overlooked.  Now I've posted a new thread.  Please see:

https://lists.gnu.org/archive/html/emacs-devel/2024-03/msg00118.html

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

Received: (at control) by debbugs.gnu.org; 1 Mar 2025 03:17:48 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 28 22:17:48 2025
Received: from localhost ([127.0.0.1]:57084 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1toDMF-0007jP-Rz
	for submit <at> debbugs.gnu.org; Fri, 28 Feb 2025 22:17:48 -0500
Received: from mail-ed1-x535.google.com ([2a00:1450:4864:20::535]:42303)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <stefankangas@HIDDEN>)
 id 1toDMD-0007it-9u
 for control <at> debbugs.gnu.org; Fri, 28 Feb 2025 22:17:41 -0500
Received: by mail-ed1-x535.google.com with SMTP id
 4fb4d7f45d1cf-5e4ce6e3b8cso3527360a12.1
 for <control <at> debbugs.gnu.org>; Fri, 28 Feb 2025 19:17:41 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1740799055; x=1741403855; darn=debbugs.gnu.org;
 h=to:subject:message-id:date:mime-version:from:from:to:cc:subject
 :date:message-id:reply-to;
 bh=AcDiOR53b36VQ6j7CviCedm3eMs1Jn21cJaYKCA9qjM=;
 b=fwO+vRQMPSPPWcESNAFNnhKfcT25kAD05Gi7Ewi0Q74xfS5voxDSf+qWwQ38aPrags
 ZcRbgsJnziVftgHeCF4q9E53JEve3OLx1Y+at+jOD59EaBGRiCdcEIWpA+yNfFqLSiQ1
 paIj0h2NeokZIzeTRwi7xHe9LJwri9miQquRPS/SNCjNXY5vDmL17ys5a5L0dSO06cVc
 AFcjQ0gj6qO+ruLIf7wUzzu4yjUksZV4RpjyvfMc6nSBJZ5Vo011OgRNVGnYNpUAGYqr
 YRLz9awXsEWId9Vi+U1QRmYtZpyTND6uf3T7LAhHJo1ytC/czGgdMr/uMg8vqH6waieh
 Nkhg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1740799055; x=1741403855;
 h=to:subject:message-id:date:mime-version:from:x-gm-message-state
 :from:to:cc:subject:date:message-id:reply-to;
 bh=AcDiOR53b36VQ6j7CviCedm3eMs1Jn21cJaYKCA9qjM=;
 b=nDLe1B6jCaI1MFIJSFYcMJwIMYw37OF+8VM+JI+aKA2EkbAEPg2/lbr6O2zZ18Cnx9
 nzhkw/6GB5+N9gvCsqInPkSfF6NazVMeB88zkRPzzl+4fCIx7hPCzMauIJeByTAo55fE
 7wftcMSH47OIzRLMiru3CodXWzY4FN7B6DznXZ1Hb8nTVbTfsmSYuyrLdo9dL8elulWW
 Cq6c4rQnJDtedU7FAdk8SaBPs63ILayMv406k2GEi041YsSBM1gw9A8gZJ24NCHEiwN0
 FZp0s6Q3q4RvqFC4HIOXYaOVWpjgHUEMSzfwc8UVxHA12YZWB3mUpwfEevlEoFMSbx7O
 1L6w==
X-Gm-Message-State: AOJu0YyAt2U9ZH6YMS55LJwDuXHazqqE9NnLA7Ly/iPv5tHVHmRzU0uB
 u9HTHT7ArdX/JIzkTpoApOzGcNYkpqYJBUaR3h6eKxooXk/+NKd95Uf3XO6sXlkajokndGti+6E
 oCsiCcXdp5hYHgzK6L28mhFTCmWq9u9AWXtI=
X-Gm-Gg: ASbGncuOd8lDuHJzuzeus8fz3zXWGaaMdn6I3Bquh+FzBf6EUU1mPdmN0hnmOsLjZA2
 6V+8GFCwuwVC33vJfmE5KYzZPu3zK19k1z9v+gNPIdeA3RLjI78Oz7/SMzbMyT9lmyLQFYu3fuy
 xwiKK3poRxGtmLZbB4ouVmjuJaxQ8=
X-Google-Smtp-Source: AGHT+IENRHMCrtyvmMr5AUppWdeCEM0XmF3RV/btq8MCvR/cj0MP6rP7trFPVrjNsbojiAbNffeQnQog0Ryzho1r8Nw=
X-Received: by 2002:a05:6402:50cf:b0:5e0:7fc9:8605 with SMTP id
 4fb4d7f45d1cf-5e4d52bd8a3mr6135405a12.6.1740799055108; Fri, 28 Feb 2025
 19:17:35 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Fri, 28 Feb 2025 19:17:34 -0800
From: Stefan Kangas <stefankangas@HIDDEN>
MIME-Version: 1.0
Date: Fri, 28 Feb 2025 19:17:34 -0800
X-Gm-Features: AQ5f1JrRWR59RG6f3b_LAwolx3yPgh6U7cU6cV28ig4RbondHjAexD8mR-zf_EA
Message-ID: <CADwFkmntqtAV+oBQ7tCUR3ZuV0guXPmxXh41BXMjfZHRFgzfQA@HIDDEN>
Subject: control message for bug #69521
To: control <at> debbugs.gnu.org
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
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 (-)

tags 69521 + moreinfo
quit

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#69521: 29.1; Adding a DECLARE spec equivalent to DECLARE-FUNCTION
Resent-From: Stefan Kangas <stefankangas@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 02 Mar 2025 03:50:02 +0000
Resent-Message-ID: <handler.69521.B69521.174088738929201 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69521
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo
To: Adam Porter <adam@HIDDEN>
Cc: Eli Zaretskii <eliz@HIDDEN>, 69521 <at> debbugs.gnu.org
Received: via spool by 69521-submit <at> debbugs.gnu.org id=B69521.174088738929201
          (code B ref 69521); Sun, 02 Mar 2025 03:50:02 +0000
Received: (at 69521) by debbugs.gnu.org; 2 Mar 2025 03:49:49 +0000
Received: from localhost ([127.0.0.1]:49302 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1toaKq-0007au-N4
	for submit <at> debbugs.gnu.org; Sat, 01 Mar 2025 22:49:49 -0500
Received: from mail-ed1-x536.google.com ([2a00:1450:4864:20::536]:44265)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <stefankangas@HIDDEN>)
 id 1toaKo-0007aI-H8
 for 69521 <at> debbugs.gnu.org; Sat, 01 Mar 2025 22:49:47 -0500
Received: by mail-ed1-x536.google.com with SMTP id
 4fb4d7f45d1cf-5e095d47a25so5975408a12.0
 for <69521 <at> debbugs.gnu.org>; Sat, 01 Mar 2025 19:49:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1740887380; x=1741492180; darn=debbugs.gnu.org;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:from:to:cc:subject:date:message-id:reply-to;
 bh=gMPKFMQ2Mn0HBwQ9NBVzVVivqUFNPYKtIahsqhf+QkA=;
 b=ituaxqRXDfowCkPM1CJQzcWrhOElLSyMyqha2OtPuoiqg8e63w3/sgL/4o/muALM8Q
 WlVT9KvzgLcwScpw9vf8TTAbsWXf9Yjiivn+F2L5HRMYNYzfUkuvjpeu3JUUQnrFM/9u
 +Qj03QM2MwMUTfMmcJm/urVkVdiugqiN5z2E1Zpg9y+8z5mZWkt7+zKXJ0D3gZWwMhf0
 zErUr6QCXDIdc6ewwoWge5C+MzMUy9jBGYZl9EHE3x0nyjax//ZPxytg4T7qLhQcgxH6
 TKBFyM6Wn/dHKk5g4YLhfPx2W7DinV6MptIGLYb5x4FqOiOhOmcQT+MwNH3vVORrYGDN
 3PPQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1740887380; x=1741492180;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=gMPKFMQ2Mn0HBwQ9NBVzVVivqUFNPYKtIahsqhf+QkA=;
 b=IFjvgsCrjLQTI/NlwWlV1sjqjw/UoOK0XelSmmfrt4RHziF2lC6ZsDk5KPBnGkGhl+
 jjdcHBct+6TNNr8fkfsHrKAziX9WHzsc7+0Vzqm+kfQZYWh9xUaWQ8P+mpee/FVYnoZv
 ULAHbitVsQW1QoEg38JxFZNE1faqNHac3cmiq6zbX1tz4MiVD/xolqpikLT5iv7T9WMj
 I7JTD2wBWkETQfraz+sDpKHJlf48TLeZBYHo0koObUF9CclxskUuw43EaGxRE1jFRMk2
 yfpKVBPfMiqL6h0AokgiTBzG4mLyWXBqPmZ2jhF6L8SiiHITAp4IV0bSpiHoAHbb8VdS
 e9wQ==
X-Forwarded-Encrypted: i=1;
 AJvYcCUSqnt3jlco1bN5Dm8utvoNdQJLXRzlOH6M7t4k0UU6SL6MnOAUCulZ/eGW3kz3cmaoYPEfBQ==@debbugs.gnu.org
X-Gm-Message-State: AOJu0YxeDXHgIK1epuNZx4/SqZZwLfO8vHHD0Gp+dgcfxWpxQkXe+RzB
 I/rBw4/qkZKScloWL9+sKhhyc8GscIP4q5auU6JZINPAOGMu8bdbZjd68uvFW96qDJ0rb4UDOv+
 bmKUniDu+nXXlDd9sLUUhAPKa16I=
X-Gm-Gg: ASbGncsKDql1t3XluAxzsD27Ttt3hDvEyPp9uwnlOyxGLTqz+olKLVqkOAtqYyNX8U0
 61jDXUafY+7DhvPoJyeYdWV3mLlBI6yonoOBuAkcB2+kKWy53rLaQ76lvKnrF0O6jYeMusAy1Ic
 +Bp0wFfAyqbjxOZjkS+Ils7Q1Lyw==
X-Google-Smtp-Source: AGHT+IHOT1x0pvfWUnDlCW4xxKoTAU8BEOWxzDOljXgC7daPiliRY49Zm/FEDDupCUmTLD/JhnUxERK0MwhS2UZE3Lk=
X-Received: by 2002:a05:6402:1d49:b0:5e4:9726:7779 with SMTP id
 4fb4d7f45d1cf-5e4d6aca16amr8456145a12.2.1740887380399; Sat, 01 Mar 2025
 19:49:40 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Sat, 1 Mar 2025 19:49:40 -0800
From: Stefan Kangas <stefankangas@HIDDEN>
In-Reply-To: <babbe557-0506-471f-b074-3d36d34d397c@HIDDEN>
References: <b7ea82de-7c7b-48ad-8352-df35a56e0143@HIDDEN>
 <86frx7o96x.fsf@HIDDEN> <babbe557-0506-471f-b074-3d36d34d397c@HIDDEN>
MIME-Version: 1.0
Date: Sat, 1 Mar 2025 19:49:40 -0800
X-Gm-Features: AQ5f1JrPiKKgGEyBkvVLue_ZV3ZH_V8tq3EGg49dQgxlMVeqX6ylPdUE0xEVxL4
Message-ID: <CADwFkmkQRE7xNeZUJ70EOCnyr-dA3z5NBGhaaMAeUCgBSj+MMg@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
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 (-)

Adam Porter <adam@HIDDEN> writes:

> On 3/3/24 05:18, Eli Zaretskii wrote:
>
>> Thanks, but I think this should be discussed on emacs-devel first.
>> The bug tracker is not a good vessel of discussing ideas; in
>> particular. quite a few of people who should be part of such a
>> discussion don't read bug-gnu-emacs regularly, and must be explicitly
>> CC'ed to take notice.
>> So I suggest to start the discussion on emacs-devel, and only switch
>> here if/when the idea and its implementation aspects are clear enough
>> to post a patch.
>
> Ok, I filed the bug report because I had mentioned it in that thread and it
> seemed to get overlooked.  Now I've posted a new thread.  Please see:
>
> https://lists.gnu.org/archive/html/emacs-devel/2024-03/msg00118.html

In that thread, Basil wrote:

    My vote is for instead teaching the compiler to treat
    declare-function more like it treats defvar, in that the effect of
    declare-function should be made local to the current lexical scope.
    [It is already possible to write this way, and I've been known to,
    but sadly the effect is global.]  This wish has been raised and
    agreed on here (at least in passing) before.

    This would reap all the benefits of points 1-4, as well as an
    additional one: that declare-function is lexically closer to the
    implementation through which the need for the declaration arises.  I
    think a declaration at the top of a function is more likely to be
    forgotten and become stale as the implementation changes.

FWIW, I'd very much welcome such a change.

Adam, are you interested in working on that?

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

Received: (at control) by debbugs.gnu.org; 2 Mar 2025 03:49:57 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 01 22:49:57 2025
Received: from localhost ([127.0.0.1]:49310 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1toaKy-0007c2-TA
	for submit <at> debbugs.gnu.org; Sat, 01 Mar 2025 22:49:57 -0500
Received: from mail-ed1-x52a.google.com ([2a00:1450:4864:20::52a]:50590)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <stefankangas@HIDDEN>)
 id 1toaKv-0007ap-FD
 for control <at> debbugs.gnu.org; Sat, 01 Mar 2025 22:49:53 -0500
Received: by mail-ed1-x52a.google.com with SMTP id
 4fb4d7f45d1cf-5e535e6739bso554151a12.1
 for <control <at> debbugs.gnu.org>; Sat, 01 Mar 2025 19:49:53 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1740887387; x=1741492187; darn=debbugs.gnu.org;
 h=to:subject:message-id:date:mime-version:from:from:to:cc:subject
 :date:message-id:reply-to;
 bh=l2/DJpL7NGxaSvptcyN7jLm7yc/pHh4vVfgE4GVEQ1A=;
 b=SiiHGnKXK4pzogEgydYoS470QWTtCYvrwUb8DoWd/aQbhUOp0J7Ze/JciPRQrJYHN8
 SGm/5EDlnrTx9XzOQvyE3pwwPLbrPvDMlL6KCogWF0UpKR+wNox76LmavY0XxJprQE0F
 vPBreoF5Bcf6eur1pHVO4ya0q4nKRjKfm6zGSbUVtVBXpDJHpCElnjCOKImRqAdNzIiJ
 d089CyhC5pRWxYeKozViTNOClm7Ue1WuwME6QpIvlzfQ61dB/0wu52Fk+nmhZyhimVRu
 w5xjwvg/IjidDsywdpcu1E662ss9nwPLVHQkZzOw26YEENBtLVmdDJrBnDqrdQoMhakk
 Npxg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1740887387; x=1741492187;
 h=to:subject:message-id:date:mime-version:from:x-gm-message-state
 :from:to:cc:subject:date:message-id:reply-to;
 bh=l2/DJpL7NGxaSvptcyN7jLm7yc/pHh4vVfgE4GVEQ1A=;
 b=Xc4kecLKxgPBbE/IxasHBEz94N0T+6pTA3o2UqlcnKE5zRLBGn/FK0NBhfO9qW+CfI
 5sSQ28OToPQLTKBYrFVNO08eT6AHPWL7dJj1+kZg4KC+ul/4TfoU+8NYLq3s4lgBD7f1
 0HYd1a/3JZWDIK0qaQtZD+8rjZmq6l2vjyAakcIAP01eWkc/qrnw0PDQ0eCN+r/ElxhQ
 0F1fRsnXruSRvojgtSwevs2wwzQ6nF4Gga+IWzG6NYSjXCtLL0qweIFDKmLVpTz2gSdd
 kPU7ieEMvgyov7st9eDF0UxvmGOHwyDigFG8x8TO7ea7gY8edbQOpPkfGhPPPvNUItaH
 RSww==
X-Gm-Message-State: AOJu0YxGMWM+n1UyT/s9Io9om4bGZXnkGbHiE29ApSNqQ7lMh0TMSt8G
 h65NJS0h+gz0entvHXY0oN/k4YqhalrNFrrBLrxpm0rIhtSOpkNGStHacKV1LnsS7sLsGLq4WL0
 Ake7cTokIl5ZVWrjPJQldOkXaRDceYb8req0=
X-Gm-Gg: ASbGnctux0Ckeo2WMnWZhdLHLcHfCMyMexl8F1TILsyHOe3OoK4ma5kT5LyMxAAFf6l
 dY19n7A3SE6vNMGuphHD+QUyVAX/69mxRfnW7G6FxbzMzlDpLOSPBefCmXg75lEDvjtu7d8zV/W
 ZCC0M+fwHvB8VrlVfDvvuKd/qpFQ==
X-Google-Smtp-Source: AGHT+IHqh3SQzFRP2cdbWQMSPShCAEhFlhRi4Q5SkCMCDk6wsg7oMAPv1CR3Suz2YFiZ3nUORScJfEiaZlzp+DwJVRY=
X-Received: by 2002:a05:6402:274b:b0:5de:aa54:dc30 with SMTP id
 4fb4d7f45d1cf-5e4d6adc726mr10843897a12.5.1740887387219; Sat, 01 Mar 2025
 19:49:47 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Sun, 2 Mar 2025 03:49:46 +0000
From: Stefan Kangas <stefankangas@HIDDEN>
MIME-Version: 1.0
Date: Sun, 2 Mar 2025 03:49:46 +0000
X-Gm-Features: AQ5f1JpcuiwMyalRjvBM59fDlWqLln-vkS1OZXAmxh_pw7eki74dur0L70urqOQ
Message-ID: <CADwFkmkKj-eCS=Z1_BKqVQf4VvqSLG1NVeQt06VT9umBVC5f1Q@HIDDEN>
Subject: control message for bug #69521
To: control <at> debbugs.gnu.org
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
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 (-)

tags 69521 - moreinfo
quit

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

Received: (at control) by debbugs.gnu.org; 2 Mar 2025 04:32:06 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 01 23:32:06 2025
Received: from localhost ([127.0.0.1]:49993 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1toazm-0004WJ-Bi
	for submit <at> debbugs.gnu.org; Sat, 01 Mar 2025 23:32:06 -0500
Received: from mail-ed1-x531.google.com ([2a00:1450:4864:20::531]:54522)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <stefankangas@HIDDEN>)
 id 1toazj-0004V4-5m
 for control <at> debbugs.gnu.org; Sat, 01 Mar 2025 23:32:04 -0500
Received: by mail-ed1-x531.google.com with SMTP id
 4fb4d7f45d1cf-5e51e3274f1so1620097a12.0
 for <control <at> debbugs.gnu.org>; Sat, 01 Mar 2025 20:32:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1740889917; x=1741494717; darn=debbugs.gnu.org;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:from:to:cc:subject:date:message-id:reply-to;
 bh=kjtV4tbztN27RY6OGClP8SVctiFlxU5B8Rti8Yuma9o=;
 b=amMpK1/+/8VOoPmIDR3Hx1fNniRfl4hL1P2A4i5AspGVWetqqkBgEG01hWlsMX9lvj
 Y/SavWw3Ja9WlWoJq556Z7xkl3Qnr0QRWiyCoazijh4/AP0narQ/26n12RJJZC/0DdXh
 ukmR6BLJKS1A4VzpdX6xB0ijSlFeXnbkC4hrLtomWj3Q/AEcZZH4KNrpzVJ/+pG407qV
 bafrBmV0cQUX+j6kNXqMnTRCUGKlGvqV+oX1A7KmVAiaWXcbuUld+6M8u7JTTj2W+E3n
 ElpZYQyQtKIsqs/Jp/ZzsF6YWl+l2Q8ITMKYId1SlaHRbF8F14SaIGBxJ20L3r+t/9z6
 UdAg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1740889917; x=1741494717;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=kjtV4tbztN27RY6OGClP8SVctiFlxU5B8Rti8Yuma9o=;
 b=H1EboAXFCjCXlUQ6xBCRdfV9aI8lFYentnidKoHbDeq3X75Iu4ItQJaBJqalWZ42V/
 LAJdsIzsHAIxkEZCzI9ceQxcV8hsx5w3+Tu1rEgfQ5luZ08qaULk0cXO3lXmlxdSdiFz
 JgrlK5j5Zd1Osje+I0I6Yv64CznYaRDaC77QdSx+55TuyKQNjbc64ZHvYexYc5uQ0TCG
 0PMqDjSBD9l3stLZHAzdfJuhfVQq/frDFYMUhbDrxvvwKLrG+6c+z8MIAuoHAG6aaBhc
 3VC4NVHOASqba2Kv3RIjlUJpgQcoPcf7vBRIkQCJohDrNaWz56dKZhPgKLxlyajETqZW
 qlGg==
X-Forwarded-Encrypted: i=1;
 AJvYcCXDzlPcCjNPUIEEFOQ5JzqZ0LdFhzJ80ug8eB/nhwKfZ8o0j7+xclmL8rZQYgYO2AGNAmoGCB6o <at> debbugs.gnu.org
X-Gm-Message-State: AOJu0YxoAudm6xiPBGxS9yZnSxUtL2aFKd9cSREvjpYeRFwHEex2VJVy
 rOsoCQN2Y6du426Xb21gTOCpDwp7K3MdmZp7hK1rHckLaWcleh7YOvFrlqhPuacRRaiDfhEhRWR
 ri7Hsj/QLV0B6SXM2co2AlAeONhkRhNqPGIA=
X-Gm-Gg: ASbGncv+wK1WGrEUV0N/khhzu61SSIw2eC+/tCGkXNKtzC3Tu2O2VY5EcxDwgUhfopp
 ne4KVbBmmqaX/nu7N+nWFh9LA6B62sUXNUkTewiV6xf/U6rPjj2Dy4Lwqxze7LoNBi8FIfxQmGG
 9ee7J4VN7JufUkkjUPTGnW4n1ftg==
X-Google-Smtp-Source: AGHT+IEAMYYockCTMtX0C4dWMzUpO5E0C0hJ/jzhSwJoRgcDGSJOvhwIgBDBIZZchFULrAfWP5DazqZSetO+Y10TaEM=
X-Received: by 2002:a05:6402:2790:b0:5e4:d229:ad3d with SMTP id
 4fb4d7f45d1cf-5e4d6afa4c4mr10480962a12.16.1740889916761; Sat, 01 Mar 2025
 20:31:56 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Sat, 1 Mar 2025 20:31:56 -0800
From: Stefan Kangas <stefankangas@HIDDEN>
In-Reply-To: <87msh3vg31.fsf@HIDDEN>
References: <87msh3vg31.fsf@HIDDEN>
MIME-Version: 1.0
Date: Sat, 1 Mar 2025 20:31:56 -0800
X-Gm-Features: AQ5f1JrKtdmL8QxYmi7usN4R4UWJUd2AYgFhpH_njrSekQg-vLclY0Fglfi_vBg
Message-ID: <CADwFkmkeJTY1ioGBX6aQA8=d=kDC1r7Gk1GcZJnZjD7CsX+NYQ@HIDDEN>
Subject: Re: bug#74765: 30.0.92;
 declare-function should respect defun/lambda scope
To: Daniel Mendler <mail@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Bcc: control <at> debbugs.gnu.org
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
Cc: 74765 <at> debbugs.gnu.org, 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: -1.0 (-)

forcemerge 69521 74765
thanks

Daniel Mendler <mail@HIDDEN> writes:

> `declare-function' can be used inside of `defun' or `lambda', but the
> declaration still applies to the entire file. The declaration should
> only apply to the scope where it is defined.
>
> (I've seen this problem mentioned multiple times, but I am not sure if
> there is already an issue to track the problem. Feel free to close/merge
> the issues if I missed this.)

This is Bug#69521 I think, so I'm merging them now.

Last modified: Sun, 2 Mar 2025 04:45:04 UTC

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