Skip to content

Fix typing stubs and add abc module with tests - #912

Merged
Josverl merged 4 commits into
mainfrom
fix_911
Aug 2, 2026
Merged

Josverl merged 4 commits into
mainfrom
fix_911

Conversation

@Josverl

@Josverl Josverl commented Aug 2, 2026

Copy link
Copy Markdown
Owner

Update typing stubs and add the abc module.

Also enhance testing for various PEPs related to typing and runtime behavior.
Improve CI workflow and remove misplaced artifacts.

Version updated to 1.28.0.

Fixes #911

Josverl added 4 commits August 2, 2026 12:47
Update version to 1.28.0
Add  abc module

Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
- Implement tests for PEP 560 (Type Hinting Generics In Standard Collections) to validate __class_getitem__ behavior.
- Add tests for PEP 586 (Literal Types) to ensure proper handling of literal parameters and runtime behavior.
- Introduce tests for PEP 589 (TypedDict) to verify class-based syntax, totality, and inheritance scenarios.
- Create tests for PEP 591 (Final qualifier for types) to check the behavior of final decorators and annotations.
- Add tests for PEP 3119 (ABC) to validate abstract base classes and abstract methods.
- Implement a test suite for validating the runtime modules and mip manifests in the `mip/` folder.
- Enhance existing tests to include vendored MicroPython packages required for runtime tests.

Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
…endency

Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
@Josverl

Josverl commented Aug 2, 2026

Copy link
Copy Markdown
Owner Author

@ziesemer

Sorry for the problems - I did a too quick manual merge between multiple repos & branches with typing changes , and I messed up 😒.
It was not caught by CI - because that only did limited testing on runtime typing , and some of the .mpy biaries ended up next to the tests, making them even less useful.

To help prevent this is the future I added a bunch of tests that i had already developed for micropython-lib/micropython and added them to the CI here as well.

would you please check if this fix indeed resolves the issues you reported ?

  • mpremote mip install github:josverl/micropython-stubs/mip/typing.json@fix_911
  • mpremote mip install github:josverl/micropython-stubs/mip/typing_mpy.json@fix_911

@ziesemer

ziesemer commented Aug 2, 2026

Copy link
Copy Markdown
Contributor

@Josverl - confirmed working, thank you!

@Josverl
Josverl merged commit fd83d30 into main Aug 2, 2026
5 checks passed
@Josverl
Josverl deleted the fix_911 branch August 2, 2026 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

mip/typing.mpy is terribly broken.

2 participants