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#66615: 30.0.50; Inconsistent 'number-or-marker' type definition in the cl- machinery Date: Fri, 20 Oct 2023 11:42:10 -0400 Message-ID: References: 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="30818"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= , 66615@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Oct 20 17:42:53 2023 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 1qtreF-0007m5-99 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 20 Oct 2023 17:42:51 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qtre0-0005VE-Vn; Fri, 20 Oct 2023 11:42:37 -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 1qtrdy-0005UX-Vb for bug-gnu-emacs@gnu.org; Fri, 20 Oct 2023 11:42:35 -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 1qtrdy-00033J-NS for bug-gnu-emacs@gnu.org; Fri, 20 Oct 2023 11:42:34 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qtreP-0000zD-To for bug-gnu-emacs@gnu.org; Fri, 20 Oct 2023 11:43: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, 20 Oct 2023 15:43:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66615 X-GNU-PR-Package: emacs Original-Received: via spool by 66615-submit@debbugs.gnu.org id=B66615.16978165703771 (code B ref 66615); Fri, 20 Oct 2023 15:43:01 +0000 Original-Received: (at 66615) by debbugs.gnu.org; 20 Oct 2023 15:42:50 +0000 Original-Received: from localhost ([127.0.0.1]:41243 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qtreD-0000yl-UK for submit@debbugs.gnu.org; Fri, 20 Oct 2023 11:42:50 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:50144) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qtre9-0000yV-2U for 66615@debbugs.gnu.org; Fri, 20 Oct 2023 11:42:48 -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 1qtrda-00031m-9p; Fri, 20 Oct 2023 11:42:11 -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=hD8zWnHK+j6gOy/ZtfIAo1xbZOJebxhWzNjLAeARPyM=; b=IEZTSAPcGNOdK4L9mZWE VD9xTh9bCIr+R8rOS7j8l6Ai7mZOA2r6wEOXqmJ5BbAOxQWQ3+TA8pF12sE9MnynMI7CdmvxJakWG Sw894UkxkBGo8NahQ3Ls1pqpsZXumYTB3Y58i9oxHIopKN3ItgIK/J9WTI9bq1/Qtr7qAwEii+p+u 73ynjpllqEDlXav7HZPbRSSeJKfypws6M3A5H0HrThtTnuCjcFtmqSRmuPViKDiWnLd4aK3Ij4hee gajFJZ0p+j/kAb+ofGzKbEs96oeQqbsk3rU3z4sczpDAS2F9r4YoOGmR3+95mv9mVTFPIQASKrutg 1C+vst45agHMEg==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1qtrda-0003qz-3W; Fri, 20 Oct 2023 11:42:10 -0400 In-Reply-To: (Stefan Monnier's message of "Fri, 20 Oct 2023 09:45:03 -0400") 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:272797 Archived-At: Stefan Monnier writes: >> I think we should improve this part of the docstring as doesn't sound >> complete to me. > > Suggestions welcome. > >> Also shouldn't we add (null boolean symbol atom) to cover this other >> path as well? > > You mean add `boolean` in there? > No objection on my side. Sorry I'm just trying to understand, I'm happy to write patches but I need to understand first. IIUC for this sub part of the hierarchy we have: =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=96=BA t =E2=97= =84=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=90 =E2=94=82 =E2=94=82 =E2=94=82 atom =E2=94=82 =E2=96=B2 =E2=94=82 =E2=94=82 sequence symbol =E2=96=B2 =E2=96=B2 =E2=94=82 =E2=94=82 =E2=94=82 =E2=94=82 list =E2=97=84=E2=94=80=E2=94=80=E2=94=80=E2=94=90 boolean =E2=96=B2 =E2=94=82 =E2=96=B2 =E2=94=82 =E2=94=82 =E2=94=82 =E2=94=82 =E2=94=82 =E2=94=82 =E2=94=82 =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=A4 =E2=94=82 =E2=94=82 cons null now I'm fine with having say (getting the relevant parts from `cl--typeof-types' and adding boolean in the null's one as you suggested): (null boolean symbol list sequence atom) (cons list sequence) (symbol atom) as entries, but how are these sufficient to reconstruct this hierarchy? (null boolean symbol list sequence atom) is not a linearization of the DAG, is just (TYPE . SUPERTYPES) where SUPERTYPES have no specific order. Am I wrong? How can current code (say dispatch on builtin types) work if we can't infer if 'sequence' is higher or lower in the hierarchy respect to 'list'? I think the original idea (as expressed by the doc) of having "the list of its supertypes from the most specific to least specific" works for reconstructing the DAG if we have one entry per path to the top, say: (null boolean symbol atom) (null list sequence) (cons list sequence) But I might be easyly missing many things here. Thanks! (A confused) Andrea