On 2016-04-14 21:42, Armin Rigo wrote: > 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". > If you did that, wouldn't it then be possible to replace an empty dict with another empty dict with you noticing? Would that matter?
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4