[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Emacs-diffs] scratch/record 453b0ed: Update documentation for type

From: Lars Brinkhoff
Subject: Re: [Emacs-diffs] scratch/record 453b0ed: Update documentation for type semantics of records.
Date: Thu, 06 Apr 2017 09:18:11 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)

Stefan Monnier wrote:
>> +  The type slot should be a symbol or a record.  If it's a record,
>> address@hidden assumes it's an EIEIO (@pxref{Top,,,eieio,EIEIO}) type
>> +descriptor and returns the contents of slot 1.  Any other kind of
>> +object is returned as-is.
> Actually, it just assumes that the type name name is in field 1, which
> without any reference to EIEIO.

Ok, I have updated the documentation.

> The assumption is that we can arrange for any kind of type descriptor
> to put a name in there.  E.g. it's true for `eieio--class`,
> `cl-structure-class` as well as their shared parent `cl--class`.

Then I suppose this new `type descriptor' concept should be documented 
somewhere.  I'll submit a draft.

> And we could arrange for it to also be true of a type descriptor for,
> say, the `integer` type, if we ever decide to introduce a type
> descriptor for primitive types like `integer`.

We'd have to do that if we were to introduce `class-of'.  But there
doesn't seem to be a pressing need for that.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]