commit 40f3c026823f8951a2fa04e9c7fc93c75bc27bec
author Damien George <damien.p.george@gmail.com> Thu Jul 03 13:25:24 2014 +0100
committer Damien George <damien.p.george@gmail.com> Thu Jul 03 13:25:24 2014 +0100
tree c9c8210654c7114f00c5234a8481d9b5fbd28ce0
parent 065aba587571150074ea79483ffa72c0fe6bc8c8

Rename machine_(u)int_t to mp_(u)int_t.

See discussion in issue #50.

py/unicode.c

diff --git a/py/unicode.c b/py/unicode.c
index d69e81c..17d3c72 100644
--- a/py/unicode.c
+++ b/py/unicode.c
@@ -96,8 +96,8 @@
 #endif
 }
 
-machine_uint_t utf8_ptr_to_index(const char *s, const char *ptr) {
-    machine_uint_t i = 0;
+mp_uint_t utf8_ptr_to_index(const char *s, const char *ptr) {
+    mp_uint_t i = 0;
     while (ptr > s) {
         if (!UTF8_IS_CONT(*--ptr)) {
             i++;
@@ -108,10 +108,10 @@
 }
 
 // TODO: Rename to str_charlen
-machine_uint_t unichar_charlen(const char *str, machine_uint_t len)
+mp_uint_t unichar_charlen(const char *str, mp_uint_t len)
 {
 #if MICROPY_PY_BUILTINS_STR_UNICODE
-    machine_uint_t charlen = 0;
+    mp_uint_t charlen = 0;
     for (const char *top = str + len; str < top; ++str) {
         if (!UTF8_IS_CONT(*str)) {
             ++charlen;