Andreas Kloeckner <inf...@tiker.net> added the comment:

AFAICS, __index__ would be fine.

To make sure I understand your proposed solution correctly: You'd go through 
the argument list beforehand and cast everything that's not a number type or 
str to int by means of __index__?

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue1530559>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to