Message100264
| Author |
inducer |
| Recipients |
benjamin.peterson, bob.ippolito, collinwinter, georg.brandl, giampaolo.rodola, inducer, jafo, mark.dickinson, nnorwitz, piman |
| Date |
2010年03月01日.19:55:00 |
| SpamBayes Score |
0.00073379395 |
| Marked as misclassified |
No |
| Message-id |
<1267473301.7.0.235228035743.issue1530559@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
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__? |
|