Andreas Kloeckner <[email protected]> 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 <[email protected]> <http://bugs.python.org/issue1530559> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
