From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo Newsgroups: gmane.emacs.devel Subject: Re: Declaring Lisp function types Date: Thu, 02 May 2024 11:18:03 -0400 Message-ID: References: <8634sdjgoj.fsf@gnu.org> <86mspaq4ro.fsf@gnu.org> <86plu4ldig.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13808"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org, stefankangas@gmail.com, adam@alphapapa.net, monnier@iro.umontreal.ca, arthur.miller@live.com To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu May 02 17:19:04 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 1s2YDA-0003Rb-7f for ged-emacs-devel@m.gmane-mx.org; Thu, 02 May 2024 17:19:04 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s2YCH-0006XF-Rz; Thu, 02 May 2024 11:18:09 -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 1s2YCE-0006V1-Ev for emacs-devel@gnu.org; Thu, 02 May 2024 11:18:06 -0400 Original-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 ) id 1s2YCC-0003cu-OR; Thu, 02 May 2024 11:18:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=CPjXhb8F0YUCWzteW8cmdrpO/ddZ6rqxqUHhUQ1ATOA=; b=C8HCyMjNb+GCt9xFtwOY 4TV2A5nRn3f/G6Eg4P70kj0qDShL4xNowZ051ZnMn+VoHSBWF19eeCgbzwBmK06liTLiwOnC0ZkrC 7Fetmctps8EllnC1IBNCv3DVRE/91r+xm1ocv+PtLi5vfOLMBA8B0OG0Vzw+wY9DTKP0bPlobHBvG N/EcO4MZxFSs4XGytjpVCns4jJVygpxHv0lJkUjeOh7mKyahDBQ6iQ0cO+2/yUEGY3PBxaVMm6yLe 3KAzW3b/9iClGbiYvG59xrwTbXrm9saPyKY2kDtUcFHKeYPDamHySwYE3JXtwXZgCmq34wazSTRHV 5Mg57YS9dYU1rQ==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1s2YCB-00075h-R1; Thu, 02 May 2024 11:18:03 -0400 In-Reply-To: <86plu4ldig.fsf@gnu.org> (Eli Zaretskii's message of "Thu, 02 May 2024 13:22:15 +0300") 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:318585 Archived-At: Eli Zaretskii writes: >> From: Andrea Corallo >> Cc: emacs-devel@gnu.org, stefankangas@gmail.com, adam@alphapapa.net, >> monnier@iro.umontreal.ca, arthur.miller@live.com >> Date: Wed, 01 May 2024 16:54:04 -0400 >>=20 >> Eli Zaretskii writes: >>=20 >> > Without any discussion of what can be @var{type} and no examples, this >> > is too abstract. I learned more about it from the other parts of the >> > changeset, where you actually use this. So please say something about >> > what can be @var{type}, and add one or two examples. >> > >> > Also, should we say something in NEWS about this? >>=20 >> Entry added. >>=20 >> Please let me know if you like me to merge it or I can improve it >> further. > > Thanks. I still have a few minor comments below, but we can handle > these after this lands on master. Hi Eli, I've addressed your suggestions (hope I'm not missing something) and pushed the merge to master. Happy to improve it (or see it improved) further there if necessary. I just left this out: > Suggest to reword: > > It is now possible to declare the expected type of a function's > arguments using the 'declare' macro. as is not just about input arguments but also return type. Andrea PS thanks for the review, it has improved my texinfo skills =F0=9F=98=80=F0= =9F=9A=80.