|
From: Konstantin S. <kon...@gm...> - 2010-03-08 14:43:36
|
On Mon, Mar 8, 2010 at 2:14 PM, Julian Seward <js...@ac...> wrote:
>
>> Can you please clarify how the proposed new annotation
>> ANNOTATE_HAPPENS_BEFORE_OVERWRITE() differs from
>> ANNOTATE_HAPPENS_BEFORE() and why it would be useful ?
>
> I don't know; these are Konstantin's annotations;
Hm. Are they?
I am quite satisfied with what we have now.
Earlier, Julian suggested this:
> Can you also do the other changes we discussed, so that the different
> annotation sets can stay in sync?
> ...
> * rename ANNOTATE_HAPPENS_BEFORE(obj)
> to ANNOTATE_HAPPENS_BEFORE_ACCUMULATE(obj)
> maybe add a #define for backwards compatibility
> * add ANNOTATE_HAPPENS_BEFORE_OVERWRITE(obj)
> * add ANNOTATE_HAPPENS_BEFORE_FORGET(obj)
It would be interesting to see a *realistic* case where
ANNOTATE_HAPPENS_BEFORE_{OVERWRITE,FORGET} is indeed needed.
--kcc
> I did not
> propose them. (I also wondered what the difference was.)
>
> J
>
>
|