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

[Lars Brinkhoff <lars@nocrew.org>]

Stefan Monnier wrote:
>> +  The type slot should be a symbol or a record.  If it's a record,
>> +@code{type-of} 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.