diff options
author | Damien George <damien.p.george@gmail.com> | 2018-03-02 11:01:24 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2018-03-02 11:01:24 +1100 |
commit | 9884a2c712988de8c69a03a5d5be8add043f141e (patch) | |
tree | e55b2f7d6847113cb5f36fc7c4037d4822a46e9d /py/objnone.c | |
parent | c607b58efe9333ab92e1b721dcd974e35a9d393e (diff) |
py/objint: Remove unreachable code checking for int type in format func.
All callers of mp_obj_int_formatted() are expected to pass in a valid int
object, and they do:
- mp_obj_int_print() should always pass through an int object because it is
the print special method for int instances.
- mp_print_mp_int() checks that the argument is an int, and if not converts
it to a small int.
This patch saves around 20-50 bytes of code space.
Diffstat (limited to 'py/objnone.c')
0 files changed, 0 insertions, 0 deletions