From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: master 1d9d07fb00e 3/3: (cl--typeof-types): Rework to fix some regressions Date: Wed, 06 Mar 2024 12:09:56 -0500 Message-ID: References: <170950733941.30552.13228431602613197760@vcs2.savannah.gnu.org> <20240303230900.51D39C12C5F@vcs2.savannah.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="37959"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org, Eli Zaretskii To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Mar 06 18:12:47 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 1rhuow-0009ff-Ht for ged-emacs-devel@m.gmane-mx.org; Wed, 06 Mar 2024 18:12:46 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rhuoN-0000mc-9G; Wed, 06 Mar 2024 12:12:11 -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 1rhuoL-0000Oe-42 for emacs-devel@gnu.org; Wed, 06 Mar 2024 12:12:09 -0500 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rhuoI-0006aD-LL; Wed, 06 Mar 2024 12:12:08 -0500 Original-Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 5961580989; Wed, 6 Mar 2024 12:12:03 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1709745122; bh=kxLZpY2MWsjiryJGYUeikrZ4VA6CZfoC30uvDDNFrK0=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=YuV1dfJgzHgOpA85I5ybbDksWAHP94rdGBjhEhtqp0icvcuwvDVB2nMAf4yVjYpsY 07KZsztliF0Bp+gWTgTNFSfem/f3CofeHGcvq87lI3I3G94kcWqPzHN0mmGKrR/0jP 2buv21jy7qHNqf1nmrMtpKV5AxAmFFppUxhPLZOQqOGT6Da8QDQayFwceA4ptrKkol EUAr3AqtzRJMzhPqDFeouPJ74ZB8s1/5XYQ4i0ckOcO4/CCRC+4tfhMNH/OsyeIBEg Vb1AMvXVt5RYnyJnpkzQV8K6PUwhIaVVpsjdbKqGuxd80tRbyWBSO0OxYglV0xHxLK rKssYWuAffFdQ== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 4FA25808A3; Wed, 6 Mar 2024 12:12:02 -0500 (EST) Original-Received: from lechazo (lechon.iro.umontreal.ca [132.204.27.242]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 3F38C1201DA; Wed, 6 Mar 2024 12:12:02 -0500 (EST) In-Reply-To: (Andrea Corallo's message of "Wed, 06 Mar 2024 11:19:18 -0500") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action 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:316861 Archived-At: > Okay I pushed the changes to render all preloaded types. Thanks. It needs a bit more work, I think: `ppss` is marked as being a subtype of `atom` but it's a subtype of `list`. That probably affects all the defstructs declared with (:type list), and arguably for those declared with (:type array) the supertype should be `array` rather than `atom`. [ One could also argue that they shouldn't be in there at all because we can't actually recognize those objects as being of that type, but maybe it's OK to keep them. ] Stefan