Skip to content

Add more type hints#338

Merged
earwig merged 17 commits into
earwig:mainfrom
lahwaacz:typing
Jun 9, 2025
Merged

Add more type hints#338
earwig merged 17 commits into
earwig:mainfrom
lahwaacz:typing

Conversation

@lahwaacz
Copy link
Copy Markdown
Contributor

I hope this makes sense 😄

Note that there is one kind of related refactoring change: property setters were reordered just next to their corresponding getter, otherwise mypy does not consider them and thinks that the properties are read-only.

Let me know if I should split this into smaller PRs for easier review.

@earwig
Copy link
Copy Markdown
Owner

earwig commented Jun 9, 2025

Thanks!

@earwig earwig merged commit 3e9da21 into earwig:main Jun 9, 2025
0 of 13 checks passed
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.

2 participants