Message206378
Antoine, if I understand you correctly, you are saying that any type that defines __index__ is an integer, and should therefore also define __int__, in which case Python can just use __int__ and not worry about __index__?
Here's the problem with that:
--> '%x' % 3.14
'3'
While I am beginning to agree that an integer type needs to implement both __int__ and __index__, it still remains true that Python needs to call __index__ if what it needs is already a real, true int, and not just something that can be truncated or otherwise converted into an int -- such as float. |
|
Date |
User |
Action |
Args |
2013-12-16 22:11:08 | ethan.furman | set | recipients:
+ ethan.furman, gvanrossum, rhettinger, mark.dickinson, pitrou, vstinner, eric.smith, Arfrever, skrah, serhiy.storchaka |
2013-12-16 22:11:08 | ethan.furman | set | messageid: <1387231868.3.0.713551062632.issue19995@psf.upfronthosting.co.za> |
2013-12-16 22:11:08 | ethan.furman | link | issue19995 messages |
2013-12-16 22:11:07 | ethan.furman | create | |
|