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.bugs Subject: bug#73626: 30.0.91; Type specifiers of functions Date: Fri, 25 Oct 2024 05:35:30 -0400 Message-ID: References: <86msjkxdf5.fsf@gnu.org> <86ikthcxjx.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="15995"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 73626@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Oct 25 11:36:55 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1t4GkZ-00040Q-0a for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 25 Oct 2024 11:36:55 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1t4GkG-0000Qm-Lf; Fri, 25 Oct 2024 05:36:36 -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 1t4GkC-0000QR-BG for bug-gnu-emacs@gnu.org; Fri, 25 Oct 2024 05:36:33 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t4GkA-0002vD-5E for bug-gnu-emacs@gnu.org; Fri, 25 Oct 2024 05:36:32 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=WmplOQgQV/Llgq5mJeyovoNCnoHU+G5Ki0pnqHAwp4w=; b=PRgX62a5GJD7YSuQWfh+CDSLD7OEh72FuS9VxY33T9UvMnW+OUDCF2c1E6HFcV9UETREkiEvOVUYocPyj76v/QHlWcNNerGOVif4irBmMM+LqPNxMTg1nDpfSLlgyaBDw+2hfQYnE2xgSya6wQKXF3nz2+FQGbKAOgsYSCEZo4uVs5OLhRF34LrlxqKFXpvASOKWL9EX8Caf4JCGpulrmEoVgG7bYJz1RO5j2qsUH+LmxAmYl0Y5gljhfhlWz3ndr9GJnHmB5DRecfm9yg8nWhbh2d+37Vc/GUMuEHvuGJv1m1M+gX2u61TG0CdsZF1H8luBK4j1zNxnwCOVGB1LvA==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1t4Gkf-0001n3-SU for bug-gnu-emacs@gnu.org; Fri, 25 Oct 2024 05:37:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 25 Oct 2024 09:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73626 X-GNU-PR-Package: emacs Original-Received: via spool by 73626-submit@debbugs.gnu.org id=B73626.17298489726810 (code B ref 73626); Fri, 25 Oct 2024 09:37:01 +0000 Original-Received: (at 73626) by debbugs.gnu.org; 25 Oct 2024 09:36:12 +0000 Original-Received: from localhost ([127.0.0.1]:37268 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t4Gjs-0001lm-0W for submit@debbugs.gnu.org; Fri, 25 Oct 2024 05:36:12 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:47428) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t4Gjp-0001lW-Kt for 73626@debbugs.gnu.org; Fri, 25 Oct 2024 05:36:10 -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 1t4GjE-0002sQ-CR for 73626@debbugs.gnu.org; Fri, 25 Oct 2024 05:35:32 -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=WmplOQgQV/Llgq5mJeyovoNCnoHU+G5Ki0pnqHAwp4w=; b=cV6OnF8mJjM6H4zlsgh3 T6R9udsXw3TD65NyY0QfLhQoyzfQa8YS7cPRMRoRVqM7BIFoTIqg19Jc+0gmiz3z7RQ1JqS3ohihN XZI8NuvJNXEIaqzJx/Kot8yOkta6H358q4X7qjJOg3IkdUtA7D8qkIC2IFlYWjL1jqwGNKrVwKCBj t/GFpxCW+vMMrgUsQLrRtTX8l4Qn7qvWBhAKl75l+39BdlKCaVHnPVTiXui5f6PxOpzAWuqCc/Evt Nm04rX9qJ9EMTGj1WiN7hCNyteu6+xQx9Vc8WMmULljSYsXRguOik3q93zlEkPbuvOexcBctk76CA B2DTGJkUXKAjRg==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1t4GjC-0008Bg-Ig; Fri, 25 Oct 2024 05:35:31 -0400 In-Reply-To: <86ikthcxjx.fsf@gnu.org> (Eli Zaretskii's message of "Thu, 24 Oct 2024 18:47:46 +0300") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:294215 Archived-At: Eli Zaretskii writes: >> From: Andrea Corallo >> Cc: 73626@debbugs.gnu.org >> Date: Wed, 23 Oct 2024 18:29:06 -0400 >> >> Hi Eli, >> >> sorry for being late on this. > > No sweat. > >> > . what is the importance of inferred vs declared type >> >> The user get to know that the function type was computed by the compiler >> or manually declared by the user. > > And why is that important? I think might be informative for the user to know if the interface was intentionally declared by the programmer or just inferred by the compiler. Of course this my evaluation is somehow subjective. >> > . how to read the type specifiers, >> >> The format is the same described for type declarations ((elisp)Top > >> Functions > Declare Form). > > OK, but the relation of that to what we show in the *Help* buffers is > not obvious. Agree. >> I agree we should probably better document this somewhere else, probably >> in Lisp Data Types? > > We need first mention this in "(emacs)Name Help", with a > cross-reference to wherever we describe that in the ELisp manual. I > tend to think that the main place where this is described in ELisp > manual is somewhere in Lisp data Types, perhaps in Type Hierarchy. > >> > . why "C-h f" shows this information only for some functions and not >> > for others, and what is the significance of that >> >> C-h f does not show the inferred type if the functions has still to be >> native compiled and loaded, the reason is simply that is the native >> compiler computing the type. > > This should also be documented in "Name Help", I think. > >> > Bottom line: we decided that this information is important enough to >> > show it in the *Help* buffer, so we should explain its arcane parts to >> > make them useful. >> >> Agree. Is '(elisp)Top > Lisp Data Types' a reasonable place for that? > > Yes, I think so. Ok gonna work on this. Andrea