From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Marco Antoniotti Newsgroups: gmane.emacs.devel Subject: Re: (declare (type (function... Date: Tue, 7 May 2024 19:52:23 +0200 Message-ID: References: <87h6f98sus.fsf@neko.mail-host-address-is-not-set> <87edad8qty.fsf@neko.mail-host-address-is-not-set> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="00000000000000781c0617e0daa2" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="25380"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org To: Tomas Hlavaty Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue May 07 20:32:59 2024 Return-path: 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 ) id 1s4PcY-0006MP-Hk for ged-emacs-devel@m.gmane-mx.org; Tue, 07 May 2024 20:32:58 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s4Pbj-0001lf-0o; Tue, 07 May 2024 14:32:07 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s4Ozb-0007qu-40 for emacs-devel@gnu.org; Tue, 07 May 2024 13:52:43 -0400 Original-Received: from mail-lf1-x12c.google.com ([2a00:1450:4864:20::12c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1s4OzY-0007yH-JT for emacs-devel@gnu.org; Tue, 07 May 2024 13:52:42 -0400 Original-Received: by mail-lf1-x12c.google.com with SMTP id 2adb3069b0e04-51ae2e37a87so4572009e87.2 for ; Tue, 07 May 2024 10:52:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unimib.it; s=google; t=1715104358; x=1715709158; darn=gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=y5TC/B6epPyz4O3inzPScLnsbipEOSAC+Tt6PdWBkPU=; b=KEq4AZYddDRJzB6Yk13NMGSuJ0iSDTDv90e0uPEF9FGKFTSUiu+ZD6GngdO0BxJ/XT qpit0WWSDlDzv6a7rnfHM2BLgmeCWEmZ8sw5Qr2hEg2HPS/yihBAlBRohwx0FOf50MqN NokJXJc+JvW2dSLQMO+fRNX6yD9G0OW7vh3cFfBm2N72G0Z62WkhL1cXh2UsEukUx4S1 qObBDeJBR3kZgXEDZlhsJl+/xTgSQRnc5OIr2Bm4P6kIeuFHzT5xcYR28gKDwqsh1lTb DIcwWB//CIjvhVZKBTcrkeUlkbs1S0y1hl9Ded0DNduOlhNjeYAte/lpi7WMs5+wrpEF 6ulw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715104358; x=1715709158; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=y5TC/B6epPyz4O3inzPScLnsbipEOSAC+Tt6PdWBkPU=; b=ECosVUbKZtNwahXqOEGtfjfNIjg5Wy2MKO7KuGppx4pfviMCuwDyJW8hHyaLTp5iHz cfNUjh03HdZFfIunde6/ddxSmjZESaS4POJE1vLy4alW67AEmK7UpdyMrNQYgpjLP/sH TK5tC1uQ4tr5rx2PJyvuEQDLtpiIqiS8qIpA+ZhlCiNdYpySqH4CK4OmctiieGKQfbZC U39oaRb3/Tj7QAFs6WE0wuuk/tdYM6/brarurofaHryY0ByWdm3ujFSqRlOVuPqEIf3b 9nkORazvTOSh2MUcVjd5qpfaWj/zbhXjlLHyttFIV+CxOSwCKSTUiXsLR6H7UUhJuuDw tWog== X-Gm-Message-State: AOJu0Yy3ZnTCjVc7m4Gh0BBsWn0sLBzVcDBRbaH+CZybwnw3d0aVJJOD LuAI4LSXr4V9AOr4/TIbz9YfcepfsfFRAxI43BQbvcT0OiztzwZnzVWEahZhpOSRG+1K3Pe/aZ8 M3ZZjoXQfFYvXxSS7SOeOd18OVrhAa5WXHPqmYXdEu4cp7bXjwYTQkw== X-Google-Smtp-Source: AGHT+IEaua/hO3fJfoU2FHj6sh/4ypDNtsaTsUD/dF810zHOVg8pOeDBsyLkObWNlwfwZJlo+EOenzUfgVWqBUezf80= X-Received: by 2002:a05:6512:110e:b0:519:2a88:add6 with SMTP id 2adb3069b0e04-5217cc45833mr147592e87.55.1715104357834; Tue, 07 May 2024 10:52:37 -0700 (PDT) In-Reply-To: <87edad8qty.fsf@neko.mail-host-address-is-not-set> Received-SPF: pass client-ip=2a00:1450:4864:20::12c; envelope-from=marco.antoniotti@unimib.it; helo=mail-lf1-x12c.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Tue, 07 May 2024 14:32:00 -0400 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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:318970 Archived-At: --00000000000000781c0617e0daa2 Content-Type: text/plain; charset="UTF-8" Sorry if I misread your message. All the best MA On Tue, May 7, 2024, 19:38 Tomas Hlavaty wrote: > On Tue 07 May 2024 at 19:10, Marco Antoniotti > 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. > --00000000000000781c0617e0daa2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Sorry if I misread your message.=C2=A0
<= br>
All the best

MA


On Tue, May 7, 2024, 19= :38 Tomas Hlavaty <tom@logand.com&= gt; wrote:
On Tue 07 May 2024 at 19= :10, Marco Antoniotti <marco.antoniotti@unimib.it> wrote:=
> pardon me, but
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0grep 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.
--00000000000000781c0617e0daa2--