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: feature/type-hierarchy 8a63e50036f 1/5: * Define 'cl--type-hierarchy' and compute 'cl--typeof-types' from it Date: Sun, 03 Mar 2024 13:37:57 -0500 Message-ID: References: <170801660982.26727.13226947668211497607@vcs2.savannah.gnu.org> <20240215170330.82819C0F009@vcs2.savannah.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="14572"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Mar 03 19:38:19 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 1rgqj4-0003XO-5t for ged-emacs-devel@m.gmane-mx.org; Sun, 03 Mar 2024 19:38:18 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rgqil-00080r-8G; Sun, 03 Mar 2024 13:37:59 -0500 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 1rgqij-00080c-RY for emacs-devel@gnu.org; Sun, 03 Mar 2024 13:37:57 -0500 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 1rgqij-00013j-Ji; Sun, 03 Mar 2024 13:37:57 -0500 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=aVuq+3Hfswy1Hs1b9VlDFqCg7pmYD8zRolXVBvRWCJo=; b=fUEljRsmvqzLIHUgNHfH BCzwxTMRRk7EaU3N+2m7AJ1h839oOT1zVpJDQIzsgwFSuUt2Uj4kORIXVGfNShK63bj8ZO4Qe2qxW 0YVAhVr8/mSAGIlqIh/YQl1v5gznXDz5vNgMTEN2xovtXylVQcOOni5Zdy0LfquT2pkGPMZAybpoO 9raCrpF8DY0t5sxIziDUUHKK1NNCrXN9MVSwtoUHtkvkvw2ld8AoGf2hs6+PfBXVSDLOhrTr+GP44 EsqQs+gGmpPL8uZc1lGYE8iBiHpMbzA2vjDNJOh7E0A5QM6vOVnPvu+/tT8TMBqAFxFYUtywKYv3p WoIjlMLZXV/H4Q==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1rgqij-0006hq-7b; Sun, 03 Mar 2024 13:37:57 -0500 In-Reply-To: (Stefan Monnier's message of "Sun, 03 Mar 2024 13:20:51 -0500") 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:316768 Archived-At: Stefan Monnier writes: >>>> The original was inconsistent on this, >>> Maybe that was an oversight. >>> Do you remember which inconsistency you had noticed in this respect? >> I remember (symbol-with-pos symbol atom) (symbol atom), there might have >> been others. > > I think I see. By "leaf" I really meant "non abstract": both `symbol` > and `symbol-with-pos` describe *the* type of some objects (IOW `type-of` > can return that symbol), as opposed to things like `sequence`, `list`, > atom`, `number-or-marker`, ... Ah! Mmmh then is not so simple... >> This generates as 'cl--typeof-types': >> >> ((subr-primitive subr function atom) >> (subr-native-elisp subr function atom) >> (module-function function atom) >> (byte-code-function compiled-function function atom) >> (cons list sequence) >> (null list sequence boolean symbol atom) >> (string array sequence atom) >> (char-table array sequence atom) >> (bool-vector array sequence atom) >> (vector array sequence atom) >> (keyword symbol-with-pos symbol atom) >> (fixnum integer number number-or-marker integer-or-marker atom) >> (bignum integer number number-or-marker integer-or-marker atom) >> (marker number-or-marker integer-or-marker atom) >> (float number number-or-marker atom) >> (obarray atom) >> (overlay atom) >> (window-configuration atom) >> (process atom) >> (window atom) >> (buffer atom) >> (frame atom) >> (hash-table atom) >> (terminal atom) >> (thread atom) >> (mutex atom) >> (condvar atom) >> (font-spec atom) >> (font-entity atom) >> (font-object atom) >> (user-ptr atom) >> (tree-sitter-parser atom) >> (tree-sitter-node atom) >> (tree-sitter-compiled-query atom) >> (structure atom) >> (class atom)) >> >> Which looks okay to me at a first glance, but make check explodes =F0=9F= =A4=B7... > > I see that `symbol` is missing there. Don't know if that's why it > explodes, OTOH. > > Better keep a few extra useless entries in there. Ok agree Thanks Andrea