From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Lennart Borgman (gmail)" Newsgroups: gmane.emacs.devel Subject: Re: custom type tests Date: Sat, 01 Dec 2007 13:17:05 +0100 Message-ID: <475150C1.4060608@gmail.com> References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1196511441 32014 80.91.229.12 (1 Dec 2007 12:17:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 1 Dec 2007 12:17:21 +0000 (UTC) Cc: Emacs-Devel To: Drew Adams Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Dec 01 13:17:30 2007 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1IyRHl-0006Mq-0e for ged-emacs-devel@m.gmane.org; Sat, 01 Dec 2007 13:17:29 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IyRHU-0001wm-Ll for ged-emacs-devel@m.gmane.org; Sat, 01 Dec 2007 07:17:12 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1IyRHR-0001w2-Cs for emacs-devel@gnu.org; Sat, 01 Dec 2007 07:17:09 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1IyRHP-0001vA-2N for emacs-devel@gnu.org; Sat, 01 Dec 2007 07:17:08 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IyRHO-0001v7-Vd for emacs-devel@gnu.org; Sat, 01 Dec 2007 07:17:07 -0500 Original-Received: from ch-smtp01.sth.basefarm.net ([80.76.149.212]) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1IyRHO-0002gc-LL for emacs-devel@gnu.org; Sat, 01 Dec 2007 07:17:06 -0500 Original-Received: from c83-254-148-228.bredband.comhem.se ([83.254.148.228]:64507 helo=[127.0.0.1]) by ch-smtp01.sth.basefarm.net with esmtp (Exim 4.68) (envelope-from ) id 1IyRHM-0006uI-4u; Sat, 01 Dec 2007 13:17:04 +0100 User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.9) Gecko/20071031 Thunderbird/2.0.0.9 Mnenhy/0.7.5.666 In-Reply-To: X-Antivirus: avast! (VPS 071130-0, 2007-11-30), Outbound message X-Antivirus-Status: Clean X-Originating-IP: 83.254.148.228 X-Scan-Result: No virus found in message 1IyRHM-0006uI-4u. X-Scan-Signature: ch-smtp01.sth.basefarm.net 1IyRHM-0006uI-4u 1d7ce5eeb98d02f18d232b334bf3b1f7 X-detected-kernel: by monty-python.gnu.org: Linux 2.6? (barebone, rare!) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:84418 Archived-At: Drew Adams wrote: >> Thinking about it again, the code is in set-variable. >> Look for :match there. > > Thanks for checking and replying. > > No, I don't see that, however. That code is about checking that a given > value is of the right type. > > I want to compare two types themselves, to see if they are compatible (one > is <= the other). I don't want to check the type of a value. > > I want to know if the custom types defined for two variables are compatible: > whether the type defined for var1 is compatible with the type defined for > var2. If the type of var1 is `regexp' and the type of var2 is `string', for > example, then the types are compatible (var1's type <= var2's type) - > regardless of the current values. Testing current values is not sufficient. > > It's really what I said before: > >>>> Given a custom type, how can I find all user options that >>>> have that type (or a compatible type, such as a subtype)? > > By "have that type", I meant "are defined with that type", not "have values > of that type". Ah, sorry, I see. I think that would require some work, especially since the same type may be expressed in several ways in custom.