RetroSearch Browse

Thu Apr 14 17:17:30 EDT 2016 · https://mail.python.org/pipermail/python-dev/2016-April/144175.html

Hi,

2016-04-14 22:42 GMT+02:00 Armin Rigo <arigo at tunes.org>:
> Hi Victor,
>
> On 14 April 2016 at 17:19, Victor Stinner <victor.stinner at gmail.com> wrote:
>> Each time a dictionary is created, the global
>> version is incremented and the dictionary version is initialized to the
>> global version.
>
> A detail, but why not set the version tag of new empty dictionaries to
> zero, always?   Same after a clear().  This would satisfy the
> condition: equality of the version tag is supposed to mean "the
> dictionary content is precisely the same".

You're right that incrementing the global version is useless for these
specific cases, and using the version 0 should work. It only matters
that the version (version? version tag?) is different.

I will play with that. If I don't see any issue, I will update the PEP.

It's more an implementation detail, but it may help to mention it in the PEP.

Victor

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2016-April/144175.html below:

[Python-Dev] RFC: PEP 509: Add a private version to dict