Nick Coghlan wrote:

Because this assertion is an assertion about the behaviour of
comparisons that violates IEEE754, while the assertions I list are all
assertions about the behaviour of containers that can be made true
*regardless* of IEEE754 by checking identity explicitly.

Aren't you making something of a circular argument here?
You're saying that non-reflexive comparisons are okay because
they don't interfere with certain critical invariants. But
you're defining those invariants as the ones that don't
happen to conflict with non-reflexive comparisons!

--
Greg
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to