From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Inferred function types in the *Help* buffer Date: Wed, 31 May 2023 16:46:49 +0300 Message-ID: <83y1l4ehpy.fsf@gnu.org> References: <83o7manh0e.fsf@gnu.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19134"; mail-complaints-to="usenet@ciao.gmane.io" Cc: akrl@sdf.org, emacs-devel@gnu.org To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed May 31 15:47:31 2023 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 1q4MAl-0004hR-0e for ged-emacs-devel@m.gmane-mx.org; Wed, 31 May 2023 15:47:31 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q4M9l-0000JZ-P5; Wed, 31 May 2023 09:46:29 -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 1q4M9Y-0008TD-Ic for emacs-devel@gnu.org; Wed, 31 May 2023 09:46:16 -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 1q4M9W-0000qN-Sy; Wed, 31 May 2023 09:46:14 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=VCg1DUdznzDZfI9HDrW+Hp09/zyk+A4yvWKScu4B9yc=; b=XWo5pF71j2Pa M9VTzyMg/GuhWgDisOBZIa2p3tESgwN7BpJpsstQgEJVr7cw4RC1d2V+fvnGoXryQ3MTjNSkB6Zo+ XIJbbXVwENfhxsJNJODQZ1DrTBxT9MCRPupvmGWiA2apJnmDYM7R1ujBXSTKI+bTSytTw1x0bAO8G BCn1mHFVPKOwo6kHl6HiCkrAp7cl3v9kITMauyTSbs6mVsezmw/W/t2HCBkikrOtP8LhDiBUo7Oid 7/QAZ7v2Qejea0BMQs/bexQyf3ltPixAO301XH5ul9SzaEP75xDJaeW9tB595QmaSnqbj7155UXOl 4d5k0wBgdmfCSXSWm0PfbQ==; Original-Received: from [87.69.77.57] (helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q4M9O-0003Sy-KN; Wed, 31 May 2023 09:46:10 -0400 In-Reply-To: (message from Andrea Corallo on Tue, 30 May 2023 12:46:04 -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:306445 Archived-At: > From: Andrea Corallo > Cc: Eli Zaretskii , emacs-devel@gnu.org > Date: Tue, 30 May 2023 12:46:04 -0400 > > Okay I installed ecc1d990d9e into master to implement this, please let > me know if the entry in NEWS can be improved or feel free to just do it > (I'm terrible at writing). The NEWS entry, viz.: ** Help ** 'describe-function' shows function inferred type when available. For native compiled Lisp functions 'describe-function' prints (after the signature) the automatically inferred function type as well. Is IMO too terse. "Inferred type" is terminology we didn't use and don't explain the manual, so the above doesn't really tell what kind of information is displayed. We should give a hint, and perhaps have more details in the ELisp manual, probably as part of documenting subr-type. > Also I'd like to improve this feature to list also the function types > that are known to the compiler (Read `comp-known-type-specifiers'). ATM > they lives in comp.el but would be better to move them out. I don't necessarily see the reason. We will probably move to having native-compilation be the default, in which case comp.el will be loaded in the majority of sessions quite soon after startup. So it doesn't make a lot of sense to try to move these out of comp.el.