[Python-Dev] PyObject_RichCompareBool identity shortcut (original) (raw)

Greg Ewing greg.ewing at canterbury.ac.nz
Thu Apr 28 11:10:04 CEST 2011


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



More information about the Python-Dev mailing list