commit 0178aa9a113dc224820fd638dc353dfe5ea6bee2
author Damien George <damien.p.george@gmail.com> Mon Jan 12 21:56:35 2015 +0000
committer Damien George <damien.p.george@gmail.com> Mon Jan 12 21:56:35 2015 +0000
tree ab292120a2eefb020304c62baf7d8854bddb165d
parent b58da9420cdd0cca1e79be32f24088345cf66946

py, unix: Allow to compile with -Wdouble-promotion.

Ref issue #699.

py/objstr.c

diff --git a/py/objstr.c b/py/objstr.c
index 01ed3a2..879d185 100644
--- a/py/objstr.c
+++ b/py/objstr.c
@@ -1206,7 +1206,13 @@
 
                 case '%':
                     flags |= PF_FLAG_ADD_PERCENT;
-                    pfenv_print_float(&pfenv_vstr, mp_obj_get_float(arg) * 100.0F, 'f', flags, fill, width, precision);
+                    #if MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_FLOAT
+                    #define F100 100.0F
+                    #else
+                    #define F100 100.0
+                    #endif
+                    pfenv_print_float(&pfenv_vstr, mp_obj_get_float(arg) * F100, 'f', flags, fill, width, precision);
+                    #undef F100
                     break;
 #endif
 

unix/modtime.c

diff --git a/unix/modtime.c b/unix/modtime.c
index 2efb7fa..61b5e0d 100644
--- a/unix/modtime.c
+++ b/unix/modtime.c
@@ -52,7 +52,7 @@
 #endif
 
 #if defined(MP_CLOCKS_PER_SEC)
-#define CLOCK_DIV (MP_CLOCKS_PER_SEC / 1000.0)
+#define CLOCK_DIV (MP_CLOCKS_PER_SEC / 1000.0F)
 #else
 #error Unsupported clock() implementation
 #endif