Re: Should records be able to mimic primitive types?

[Stefan Monnier]

> In looking at the 'record' feature recently added to master, I noticed that
> (record 'integer 'foo 'bar) returns a value V such that (type-of V) yields
> the symbol 'integer', even though V is not an integer. Is this intended?

Yes.  `record` is just a primitive on top of which we can build things
(e.g. cl-defstruct or EIEIO).

> Or should 'record' and 'make-record' reject attempts to build records
> that pretend to be of primitive types?

I don't see the benefit in trying to try hard to prevent the user from
shooting himself in the foot.


        Stefan