From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Declaring Lisp function types Date: Mon, 29 Apr 2024 13:55:22 -0400 Message-ID: References: <8634sdjgoj.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34271"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , emacs-devel@gnu.org, stefankangas@gmail.com, adam@alphapapa.net, arthur.miller@live.com To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Apr 29 19:58:51 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 1s1VH9-0008jZ-IU for ged-emacs-devel@m.gmane-mx.org; Mon, 29 Apr 2024 19:58:51 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s1VGp-0005Vf-98; Mon, 29 Apr 2024 13:58:31 -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 1s1VGn-0005Uw-7J for emacs-devel@gnu.org; Mon, 29 Apr 2024 13:58:29 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s1VGl-0008Dd-6b; Mon, 29 Apr 2024 13:58:28 -0400 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 73B8E4424E7; Mon, 29 Apr 2024 13:58:23 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1714413502; bh=0WuZpdoTVdDfVeZOTKII6G8xG+Uh7tv3aR1mra1sTO0=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=ms1mK1JB13lcpi+SIAx0urWFEj7Me13rZNk6yj9NSjSkKQDHxAlLUCD9NToPJG4sH DqJrwu6N4Yb9V/UuMYLJn7YHMagt7ARB5D4tEwug0eV0frDLg0676vwB0SUFDAzG3K KfReyDZx9+IRQ1L/BJUZSNk+oSJMb6VKH97nJPkisVZ/RPolWRMO4SgKSgxi62As6z fN9+/FTK6dPQOL/L7pL54LuIwe2htiu5RwzRVSEhLslNpFDjCkFOhw1Rt8mfXrbWPT BOcjv17C7T+VnUSI4QMeeY6A8smjYb0phr10CKt2Gu6NofQMuMTtsEXeGGSZlx3ppy Nf12aynTagJ0g== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 4AE36442252; Mon, 29 Apr 2024 13:58:22 -0400 (EDT) Original-Received: from lechazo (lechon.iro.umontreal.ca [132.204.27.242]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 3868B1204C0; Mon, 29 Apr 2024 13:58:22 -0400 (EDT) In-Reply-To: (Andrea Corallo's message of "Mon, 29 Apr 2024 13:48:01 -0400") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=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." 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:318370 Archived-At: > Here we go, I pushed on 'scratch/lisp-func-type-decls' the > implementation of what we discussed with a doc entry. Any suggestion or > is it okay for master? Looks pretty good, but I wish the symbol property's name would make it clear it's talking about the type of what's in the symbol's "function cell" rather than any other role the symbol may be playing as well. So maybe `function-type` instead of `declared-type`? Stefan