py/mpconfig: Rename MICROPY_PY___FILE__ to MICROPY_MODULE___FILE__. #17886
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
There are now quite a few module related configuration options, of the form
MICROPY_MODULE_xxx
.The old
MICROPY_PY___FILE__
option has been around for a long time and it actually relates to modules, whether__file__
is set on a module when import it.So, rename it to
MICROPY_MODULE___FILE__
and organise it alongside the other module options inpy/mpconfig.h
.Also, move
MICROPY_MODULE___ALL__
so it's with all the other module options as well.Testing
Should be a no-op, but will be tested by CI anyway.
Trade-offs and Alternatives
Could leave things as they are, but IMO this is a worthy clean up.