[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: User-defined record types, v2
From: |
Lars Brinkhoff |
Subject: |
Re: User-defined record types, v2 |
Date: |
Wed, 29 Mar 2017 14:46:18 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Lars Brinkhoff wrote:
> Stefan Monnier wrote:
>> So if this is in a different file from the one that does the
>> `cl-defstruct` you can end up with a situation where the
>> `cl-define-struct` defines a new-style struct (because it was recently
>> recompiled), while some code constructs old style structs of that
>> same type (because it hasn't been recompiled recently).
>
> Or check something in the .elc file when it's loaded. The Emacs
> version number is there
I'm trying to make progress on this. If we bump the version of the
generated elc files from 23 to 24, we can check for that.
I pushed a commit to scratch/record which does this. I'm not at all
sure if this is the right way to do it. It does seem to work as
intended, and not break anything else.
- Re: User-defined record types, v2, (continued)
- 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
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/24
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/24
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/24
- Re: User-defined record types, v2,
Lars Brinkhoff <=
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/30
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/30
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/30
- Re: User-defined record types, v2, Eli Zaretskii, 2017/03/30
Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/22