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

[Armin Rigo]

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".


A bientôt,

Armin.