From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Lars Brinkhoff Newsgroups: gmane.emacs.devel Subject: Re: type-of semantics unclear for records Date: Wed, 05 Apr 2017 07:24:44 +0200 Organization: nocrew Message-ID: <86r317a0kj.fsf@molnjunk.nocrew.org> References: <5a8f7878-6731-2d9f-36dc-52f06e680697@cs.ucla.edu> <967bcfa0-bdc8-2a3d-c02d-4ce6e938f955@cs.ucla.edu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1491369924 26252 195.159.176.226 (5 Apr 2017 05:25:24 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 5 Apr 2017 05:25:24 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Apr 05 07:25:17 2017 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cvdRR-0005Wu-Uf for ged-emacs-devel@m.gmane.org; Wed, 05 Apr 2017 07:25:14 +0200 Original-Received: from localhost ([::1]:38867 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cvdRW-0006mB-AD for ged-emacs-devel@m.gmane.org; Wed, 05 Apr 2017 01:25:18 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43538) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cvdRQ-0006lv-NC for emacs-devel@gnu.org; Wed, 05 Apr 2017 01:25:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cvdRN-0004ki-Ke for emacs-devel@gnu.org; Wed, 05 Apr 2017 01:25:12 -0400 Original-Received: from [195.159.176.226] (port=37838 helo=blaine.gmane.org) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cvdRN-0004js-Dr for emacs-devel@gnu.org; Wed, 05 Apr 2017 01:25:09 -0400 Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1cvdRD-00044c-Iw for emacs-devel@gnu.org; Wed, 05 Apr 2017 07:24:59 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 15 Original-X-Complaints-To: usenet@blaine.gmane.org Cancel-Lock: sha1:/M7Kmxbcekuq0TITWnSVgXCj2YY= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 195.159.176.226 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:213665 Archived-At: Paul Eggert wrote: > Stefan Monnier wrote: >> the first field can be a type name (a symbol) or a type descriptor (a >> record, where the first field holds the corresponding type name). > Ah, I'm afraid I don't know how type descriptors are supposed to work > in Emacs. I don't offhand see the concept mentioned in the > documentation; shouldn't it be? I don't know for sure either, but it seems to be an EIEIO metaobject thing. So a type descriptor would be an instance of eieio--class. I agree that the record type semantics should be documented. The type-of docstring says to return a symbol representing the type, so that's good I think. But I can insert a passage or two in the Lisp manual.