Skip to content

mip-split: the new multimer host-only modules (fixes the 0.6.0 MIP sync) - #104

Merged
bdbarnett merged 1 commit into
mainfrom
fix/mip-split-multimer
Sep 26, 2026
Merged

bdbarnett merged 1 commit into
mainfrom
fix/mip-split-multimer

Conversation

@bdbarnett

Copy link
Copy Markdown
Contributor

v0.6.0 reached TestPyPI and its GitHub Release, but the MIP index refused it: [multimer] host-only still named the five backends #101 removed. This lists the new host-only modules instead: _inputhook, _src_native, _src_pending, _src_signal and _src_wasm. Boards keep the dispatcher, _hostloop, _repl, _ticks, _src_machine, _src_none, _src_asyncio and the asyncio loaders.

Checked with the MIP sync's own read_host_only and check_no_host_imports from .github's synchronize_mip_package.py: both pass, and planting a removed name fails with the same error the 0.6.0 run gave.

A new test, tests/test_mip_split.py, fails when mip-split.toml names a module that isn't under lib/, so this is caught in the PR next time instead of after tagging. It fails on main's current file and passes here.

The MIP index needs a follow-up release to pick this up, because the v0.6.0 tag can't move.

Fixes #103.

… name exists

v0.6.0's MIP sync refused the tag because [multimer] host-only still named
the five backends the timing redesign removed. Fixes #103.
@bdbarnett
bdbarnett merged commit 2453e8b into main Sep 26, 2026
2 checks passed
@bdbarnett
bdbarnett deleted the fix/mip-split-multimer branch September 26, 2026 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

v0.6.0 missed the MIP index: mip-split.toml still names the removed multimer backends

1 participant