Re: User-defined record types, v2

[Stefan Monnier]

>> But I'm not even sure we should enforce this in the `record` and
>> `make-record` primitives.  After all, it's not needed for safety.  And
>> since we allow (aset <obj> 0 <foo>) we can circumvent this check
>> anyway.
> Not quite.  `aset' does the check too.

Hm... so this slows down every use of `aset` on records, 99.99% of which
affect another slot anyway!

> But then, so much else in Emacs depends on people doing sensible
> things, so maybe no check is needed at all.

Exactly.

> If we come up with a need for a check, we know where to add it.  If not,
> I can just delete the unused code.

That'd be my choice.


        Stefan