diff options
author | Damien George <damien.p.george@gmail.com> | 2017-02-08 11:00:15 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2017-02-08 11:00:15 +1100 |
commit | af622eb2a6aa50429eb64716e754ee58c3f87c2e (patch) | |
tree | bce9534f46a4040a0533eb98e23da41258a04b85 /esp8266/modules/websocket_helper.py | |
parent | a25aa2bcc3348349d8b1deb8fcdd80b3f10d0550 (diff) | |
download | micropython-af622eb2a6aa50429eb64716e754ee58c3f87c2e.tar.gz micropython-af622eb2a6aa50429eb64716e754ee58c3f87c2e.zip |
py/map: Change mp_uint_t to size_t where appropriate.
The internal map/set functions now use size_t exclusively for computing
addresses. size_t is enough to reach all of available memory when
computing addresses so is the right type to use. In particular, for
nanbox builds it saves quite a bit of code size and RAM compared to the
original use of mp_uint_t (which is 64-bits on nanbox builds).
Diffstat (limited to 'esp8266/modules/websocket_helper.py')
0 files changed, 0 insertions, 0 deletions