On 2016-04-14 21:42, Armin Rigo wrote:
Hi Victor,
On 14 April 2016 at 17:19, Victor Stinner <victor.stin...@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?
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
