From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Tomas Hlavaty <tom@logand.com>
Newsgroups: gmane.emacs.devel
Subject: Re: (declare (type (function...
Date: Tue, 07 May 2024 19:38:49 +0200
Message-ID: <87edad8qty.fsf@neko.mail-host-address-is-not-set>
References: <CAG0Nw2n9ReYn37-nSZ+fKbsoidVHZKcdUgtRQUjDHxZ9idPt+w@mail.gmail.com>
 <87h6f98sus.fsf@neko.mail-host-address-is-not-set>
 <CAG0Nw2knMT7bakej-6pVrxHG4HCwq8d-ezPaGdqrSCnENpNkBQ@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="27375"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: emacs-devel@gnu.org
To: Marco Antoniotti <marco.antoniotti@unimib.it>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue May 07 19:39:46 2024
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1s4On4-0006uN-DN
	for ged-emacs-devel@m.gmane-mx.org; Tue, 07 May 2024 19:39:46 +0200
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces@gnu.org>)
	id 1s4OmJ-0002SH-OA; Tue, 07 May 2024 13:38:59 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <tom@logand.com>) id 1s4OmE-0002Rk-9z
 for emacs-devel@gnu.org; Tue, 07 May 2024 13:38:56 -0400
Original-Received: from logand.com ([37.48.87.44])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <tom@logand.com>) id 1s4OmC-0002HD-K7
 for emacs-devel@gnu.org; Tue, 07 May 2024 13:38:53 -0400
Original-Received: by logand.com (Postfix, from userid 1001)
 id F2D0C19E897; Tue,  7 May 2024 19:38:50 +0200 (CEST)
X-Mailer: emacs 28.2 (via feedmail 11-beta-1 I)
In-Reply-To: <CAG0Nw2knMT7bakej-6pVrxHG4HCwq8d-ezPaGdqrSCnENpNkBQ@mail.gmail.com>
Received-SPF: pass client-ip=37.48.87.44; envelope-from=tom@logand.com;
 helo=logand.com
X-Spam_score_int: -18
X-Spam_score: -1.9
X-Spam_bar: -
X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Xref: news.gmane.io gmane.emacs.devel:318965
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/318965>

On Tue 07 May 2024 at 19:10, Marco Antoniotti <marco.antoniotti@unimib.it> wrote:
> pardon me, but
>
>       grep type....
>
> would yield many more hits

yes, it is always possible to find even worse name to grep

> , and I do not understand why this is relevant to the issue.

don't you search source code?

I just pointed out that your suggested name could be even better.

> The points are two:

I understand that and agree with you.

I just sent to you links to the discussion.