diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-06-02 12:28:07 +1000 |
|---|---|---|
| committer | Jim Mussared <jim.mussared@gmail.com> | 2023-06-08 17:54:21 +1000 |
| commit | 24c02c4eb5f11200f876bb57cd63a9d0bae91fd3 (patch) | |
| tree | b3a6a00de6fe91695fefdcf9bc7c951fb351c4ae /py/objmodule.h | |
| parent | 45ac651d1a2801bccbdc32fddaa9b029ed4ce879 (diff) | |
py/makemoduledefs.py: Add a way to register extensible built-in modules.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'py/objmodule.h')
| -rw-r--r-- | py/objmodule.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/py/objmodule.h b/py/objmodule.h index 11bd7bb42..63ae3c3bd 100644 --- a/py/objmodule.h +++ b/py/objmodule.h @@ -32,8 +32,9 @@ #define MP_MODULE_ATTR_DELEGATION_ENTRY(ptr) { MP_ROM_QSTR(MP_QSTRnull), MP_ROM_PTR(ptr) } extern const mp_map_t mp_builtin_module_map; +extern const mp_map_t mp_builtin_extensible_module_map; -mp_obj_t mp_module_get_builtin(qstr module_name); +mp_obj_t mp_module_get_builtin(qstr module_name, bool extensible); void mp_module_generic_attr(qstr attr, mp_obj_t *dest, const uint16_t *keys, mp_obj_t *values); |