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, 14 May 2024 12:04:44 +0200 Message-ID: References: <864jb43al5.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000005cd2c406186722bd" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="31345"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Eli Zaretskii , emacs-devel@gnu.org, Stefan Monnier To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue May 14 14:15:10 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 1s6r3l-0007rr-BM for ged-emacs-devel@m.gmane-mx.org; Tue, 14 May 2024 14:15:09 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s6r2q-0003jN-7h; Tue, 14 May 2024 08:14:12 -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 1s6p1v-0002aX-I0 for emacs-devel@gnu.org; Tue, 14 May 2024 06:05:07 -0400 Original-Received: from mail-lj1-x22f.google.com ([2a00:1450:4864:20::22f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1s6p1o-0001aC-JQ for emacs-devel@gnu.org; Tue, 14 May 2024 06:05:07 -0400 Original-Received: by mail-lj1-x22f.google.com with SMTP id 38308e7fff4ca-2e1fa824504so71249841fa.0 for ; Tue, 14 May 2024 03:04:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unimib.it; s=google; t=1715681098; x=1716285898; 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=Y1vxDERzfkd4P8THjECHXonetR889m8MQupdTCG/6hM=; b=eibAt40JXThNyLT5jJiAVKJzHH3z0vmYhbvWHaM5dMotVpi+ENePnx+U/3YmGbI+3x eVK09mIyO7LiVVGJIhvu53FxtWcx8WUgx5NesCQIfk2ByJz5hUXTuYFITIGKx1JH6pnp A2TaYjYrmAm/iLKQxY9FekEOXWRJS5DQ1w3sd5jHicrkd0vsddY6v1k1URySjN5ki1QJ 9Ef5bzvbIrLevcbCmCxU75HURK3s1RH8N1abJgKNHHGtQ9AoqyG8cq2ayGqSKZ83lUVy 8sNT6IyRSr0M13Ns+5URcLvJ5RONoGqO6SH/8b0gR4GysJoyOGUR/Dbqy9Tzf4gHNZdI 4fyQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715681098; x=1716285898; 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=Y1vxDERzfkd4P8THjECHXonetR889m8MQupdTCG/6hM=; b=bLO1VzINXpoDSTK61ZaOBIGN/YAA0N1b0ThrQ9/qixhrjnY1e22n6spNgmPA8qNlon VKrVi29nddlRJl3YOvFHiZrdgind7mERxf8WpCFAAdAQStR9DU2Bd4FFqPUbor/uK+u6 pcOzAAa90RKgVgyCdKujoJ9o8rYUSZETk2JgD7WkYygXvs87xiujSoffmZT+HUUY1O/2 E2fCCiw/z1YWwAsysRbLZqfvjsvh8mmMSLNfbAZ9Vl1tpBMN7oy7G0Vfoz3sjvIV2VfG OLHOWEJfita+ePrgWd/KTK3X3QINK6p4FLXI8c187Ere6k0YAda8ZUGfzK83gK28aGJ+ uHIg== X-Forwarded-Encrypted: i=1; AJvYcCVEIjUjD8KoREb/7NdfTahlk9DWlbtIT8VKF8nhl9Z9hBpDGXjwZZO1qWyWSgbNSlJkKSgCha/a6eVWnUdzY3SWqOKo X-Gm-Message-State: AOJu0YxKxWiDwm8vnuKcbTEKAhljUT7+VR2YhCo8vvzno3TGxajoXitq Ag30IAbz3U7K07IAvEObXOEFcWXCYUxyDFh7KtAHQGR7WpLWaoUxCjBoBoLYTiczl2696RywcyN ZInUWRQFha1dhCdnYKp9/SdLkK13rSge7DJcXKw== X-Google-Smtp-Source: AGHT+IHbOMnBNjqttNKCBcdXNLn2VoCeSQouKPJCOly0p0rkvSX22r5FgUsHbYaBIWZ6IgW2G/a1KLi6jDpPUG0rKYY= X-Received: by 2002:a2e:a175:0:b0:2e3:3b4e:43e4 with SMTP id 38308e7fff4ca-2e5204b2ed4mr80933861fa.32.1715681097463; Tue, 14 May 2024 03:04:57 -0700 (PDT) In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::22f; envelope-from=marco.antoniotti@unimib.it; helo=mail-lj1-x22f.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=unavailable autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Tue, 14 May 2024 08:14:09 -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:319222 Archived-At: --0000000000005cd2c406186722bd Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable It will be good. :) On Tue, May 14, 2024, 11:26 Andrea Corallo wrote: > Andrea Corallo writes: > > > Eli Zaretskii writes: > > > >>> From: Andrea Corallo > >>> Cc: emacs-devel@gnu.org, Eli Zaretskii , Stefan Monnier > >>> > >>> Date: Fri, 10 May 2024 06:21:21 -0400 > >>> > >>> Marco Antoniotti writes: > >>> > >>> > Dear Andrea > >>> > > >>> > The point is NOT to diverge from Common Lisp. Such divergence is - > IMHO - unwarranted. Plus, the proposal for the ftype > >>> > declaration also carries over to type declarations, which, again, > are useful per se, even if the compiler is "smart > >>> > enough" (ok; this one is for old-timers :) ) > >>> > > >>> > Having said that, a provision can be made that a nameless ftype > declaration at a function top level refers to the > >>> > "definenda" function. Again, having to use ftype instead of type i= s > a consequence of ELisp being a 2-lisp. > >>> > >>> Dear Marco, > >>> > >>> I see your point and share the intent, given your provision =F0=9F=98= =83 for > >>> > >>> (defun foo (x y) > >>> (declare (ftype (function (integer number) number))) > >>> (+ x y)) > >>> > >>> I'm personally okay with the change. > >>> > >>> Eli Stefan WDYT? > >> > >> Fine by me, thanks. > > > > Ok, I'll try to take care of this tomorrow. > > Gut, should be in with a39a8060124. > > Thanks > > Andrea > > PS Marco you'll receive a customer satisfaction survey shortly, please > give us a good score =F0=9F=98=80. > --0000000000005cd2c406186722bd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
It will be good. :)

<= div dir=3D"ltr" class=3D"gmail_attr">On Tue, May 14, 2024, 11:26 Andrea Cor= allo <acorallo@gnu.org> wrote= :
Andrea Corallo <acorallo@gnu.org= > writes:

> Eli Zaretskii <eliz@gnu.org> writes:
>
>>> From: Andrea Corallo <acorallo@gnu.org>
>>> Cc: emacs-devel@gnu.org, Eli Zaretskii <eliz@gnu.org>= , Stefan Monnier
>>>=C2=A0 <monnier@iro.umontreal.ca>
>>> Date: Fri, 10 May 2024 06:21:21 -0400
>>>
>>> Marco Antoniotti <marco.antoniotti@unimib.it>= ; writes:
>>>
>>> > Dear Andrea
>>> >
>>> > The point is NOT to diverge from Common Lisp.=C2=A0 Such = divergence is - IMHO - unwarranted.=C2=A0 Plus, the proposal for the ftype<= br> >>> > declaration also carries over to type declarations, which= , again, are useful per se, even if the compiler is "smart
>>> > enough" (ok; this one is for old-timers :) )
>>> >
>>> > Having said that, a provision can be made that a nameless= ftype declaration at a function top level refers to the
>>> > "definenda" function.=C2=A0 Again, having to us= e ftype instead of type is a consequence of ELisp being a 2-lisp.
>>>
>>> Dear Marco,
>>>
>>> I see your point and share the intent, given your provision = =F0=9F=98=83 for
>>>
>>> (defun foo (x y)
>>>=C2=A0 =C2=A0 (declare (ftype (function (integer number) number= )))
>>>=C2=A0 =C2=A0 (+ x y))
>>>
>>> I'm personally okay with the change.
>>>
>>> Eli Stefan WDYT?
>>
>> Fine by me, thanks.
>
> Ok, I'll try to take care of this tomorrow.

Gut, should be in with a39a8060124.

Thanks

=C2=A0 Andrea

PS Marco you'll receive a customer satisfaction survey shortly, please<= br> give us a good score =F0=9F=98=80.
--0000000000005cd2c406186722bd--