Skip to content

Add mypy.stubtest#92

Merged
abelcheung merged 1 commit into
abelcheung:mainfrom
macro1:stubtest
Aug 8, 2025
Merged

Add mypy.stubtest#92
abelcheung merged 1 commit into
abelcheung:mainfrom
macro1:stubtest

Conversation

@macro1
Copy link
Copy Markdown
Contributor

@macro1 macro1 commented May 2, 2025

This adds running mypy.stubtest along side the pytest tests that are being run. It can be helpful in comparing typed interfaces with runtime as well as providing context for missing stubs.

The allowlist in this PR represents the list of technically missing or deviating variables or modules. Some may be intentional or desirable, but in other cases it could point to gaps in the project.

@abelcheung abelcheung added enhancement New feature or request testsuite Issues concerning test suite labels May 2, 2025
@abelcheung
Copy link
Copy Markdown
Owner

Thanks, this can come in handy. However, although most errors emitted by mypy.stubtest are dummy, I suspect there is genuine error hidden in between that needs fixing. So I'd like to have a review personally with all mypy.stubtest complaints, then merge this PR with a trimmed down allowlist. That could take some time, so will leave this PR open for a while when I'm working on it.

@macro1
Copy link
Copy Markdown
Contributor Author

macro1 commented May 2, 2025 via email

@abelcheung abelcheung merged commit 131bc83 into abelcheung:main Aug 8, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request testsuite Issues concerning test suite

Projects

Development

Successfully merging this pull request may close these issues.

2 participants