objmodule: Eliminate "bool extensible" param when possible.

Signed-off-by: Jeff Epler <jepler@unpythonic.net>

Author: jepler

py/objmodule.c

@@ -174,8 +174,11 @@ static const mp_module_delegation_entry_t mp_builtin_module_delegation_table[] =
 
 // Attempts to find (and initialise) a built-in, otherwise returns
 // MP_OBJ_NULL.
-mp_obj_t mp_module_get_builtin(qstr module_name, bool extensible) {
+mp_obj_t mp_module_get_builtin_impl(qstr module_name
     #if MICROPY_HAVE_REGISTERED_EXTENSIBLE_MODULES
+    , bool extensible
+    #endif
+    ) {
 
     #if MICROPY_HAVE_REGISTERED_EXTENSIBLE_MODULES
     const mp_map_t *map = extensible ? &mp_builtin_extensible_module_map : &mp_builtin_module_map;

py/objmodule.h

@@ -40,8 +40,15 @@ extern const mp_map_t mp_builtin_module_map;
 extern const mp_map_t mp_builtin_extensible_module_map;
 #endif
 
-mp_obj_t mp_module_get_builtin(qstr module_name, bool extensible);
-
+#if MICROPY_HAVE_REGISTERED_EXTENSIBLE_MODULES
+mp_obj_t mp_module_get_builtin_impl(qstr module_name, bool extensible);
+#define mp_module_get_builtin(module_name, extensible) mp_module_get_builtin_impl((module_name), (extensible))
+#else
+mp_obj_t mp_module_get_builtin_impl(qstr module_name);
+#define mp_module_get_builtin(module_name, extensible) ( \
+    MP_STATIC_ASSERT(!extensible), mp_module_get_builtin_impl((module_name)) \
+    )
+#endif
 void mp_module_generic_attr(qstr attr, mp_obj_t *dest, const uint16_t *keys, mp_obj_t *values);
 
 #endif // MICROPY_INCLUDED_PY_OBJMODULE_H