[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: User-defined record types, v2
From: |
Eli Zaretskii |
Subject: |
Re: User-defined record types, v2 |
Date: |
Sun, 19 Mar 2017 16:51:49 +0200 |
> From: Stefan Monnier <address@hidden>
> Date: Sun, 19 Mar 2017 08:50:24 -0400
>
> >> 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.
We could instead leave it in an eassert.
- User-defined record types, v2, Lars Brinkhoff, 2017/03/18
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/18
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/18
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/18
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/18
- Re: User-defined record types, v2, Eli Zaretskii, 2017/03/18
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/18
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/18
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/19
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/19
- Re: User-defined record types, v2,
Eli Zaretskii <=
Re: User-defined record types, v2, Eli Zaretskii, 2017/03/18
Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/19
Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/21
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/21
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/22
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/23
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/23
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/23
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/23