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: Add more supported primitives in libgccjit IR Date: Sun, 27 Aug 2023 09:42:39 -0400 Message-ID: References: <20230809094655.793FC18A4654@snark.thyrsus.com> <87h6ot7cf3.fsf@localhost> <87edjx7c0b.fsf@localhost> <831qfxw2cx.fsf@gnu.org> <87v8d95918.fsf@localhost> <87zg2lav4b.fsf@yahoo.com> <87sf8d57wf.fsf@localhost> <87r0nxatu1.fsf@yahoo.com> <87pm3h56ig.fsf@localhost> <87edjxarhz.fsf@yahoo.com> <87edjw4uw4.fsf@localhost> <77daee02cf1ba0db70c1@heytings.org> <87v8d8fzr9.fsf@localhost> <87jztofwqm.fsf@localhost> <83cyzgvb70.fsf@gnu.org> <87cyze6pb4.fsf@localhost> <87y1hx460x.fsf@dataswamp.org> <874jklrl37.fsf@dataswamp.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="14593"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Aug 27 15:43:00 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 1qaG2e-0003ab-HP for ged-emacs-devel@m.gmane-mx.org; Sun, 27 Aug 2023 15:43:00 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qaG2L-0007T1-2M; Sun, 27 Aug 2023 09:42:41 -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 1qaG2K-0007Sr-0x for emacs-devel@gnu.org; Sun, 27 Aug 2023 09:42:40 -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 1qaG2J-0006DL-Ox for emacs-devel@gnu.org; Sun, 27 Aug 2023 09:42:39 -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=WexEW+vbFZq8evMuSQz5gvM8fnRgC8MRQOYJmlZGsK0=; b=O4fXUC5YMm6lGyAlsUS+ gol9zuoR5ny9Jccr4cG8vEQbSU78IfWkioAbQWfn7Pw0wpzBynooGtQYwQmPhhhuX5Lk/I+sgGVTu 8epS0vuV73r5EE7LSSW5/QbTDXR3/jwXPCO8BtulsypXzifCi2B6E0R+6gryvJpQpeBjMhTb4qP55 2ZHwx2tz7yw+3g8YPnEkR9zR+vTirDWeU8nuxqjtt5nZemW27/xGtf7lHNf75imGK1WCDv1sS5E2Z ot4YlTKqhMKwrIxzWafFUHtB6X4AsSq0Y+KQ3yijfC780Ii3eoWgVw7wAcxzJpzg7kZ1wclf5iuzU XOGU45X+keq5NA==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1qaG2J-0004Jj-IH for emacs-devel@gnu.org; Sun, 27 Aug 2023 09:42:39 -0400 In-Reply-To: <874jklrl37.fsf@dataswamp.org> (Emanuel Berg's message of "Sun, 27 Aug 2023 09:38:36 +0200") 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:309342 Archived-At: Emanuel Berg writes: >> The only trace I have been able to find of either are >> functions in C, built-in functions in the Emacs lingo, for >> example `+', if you do `describe-function' on that you see >> in the docstring >> >> Type: (function (&rest (or marker number)) number) > > Lisp functions also get their types inferred, sometimes, AFAIK all native compiled Lisp functions are type inferred. > Maybe function that are made up of functions that have their > types inferred also get their types inferred ... Of course they are typed as well, but we can use the types of the called functions for propagations as they can be redefined in every moment. Andrea