April 14, 2016
8:42 p.m.
Hi Victor, On 14 April 2016 at 17:19, Victor Stinner <victor.stinner@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.