Skip to content

Conversation

@fchapoton
Copy link
Contributor

just some minor changes to satisfy mypy on these three folders

@roed314
Copy link
Member

roed314 commented Sep 2, 2025

See my comment on #6666; we won't be merging this for a few weeks until we have a chance to talk about type annotations in the LMFDB.

@fchapoton fchapoton marked this pull request as draft September 3, 2025 05:39
@roed314
Copy link
Member

roed314 commented Oct 17, 2025

We're closing this for now, since it's all about type annotations. If you want to make an argument about using type annotations in the LMFDB broadly (so that automated tests can be run with mypy for example), feel free to start a discussion on Zulip.

@roed314 roed314 closed this Oct 17, 2025
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