Is your feature request related to a problem? Please describe.
General brainstorming/thoughts on potential alterations to the type checking workflows defined here:
- The
example installs mypy-extension and pyright (if I remember correctly, the former doesn't really do anything for the latter, although I think Pylance can use it for type completions -- is that why it's there?). Should mypy be utilized as well?
- The Makefile runs
pyright as part of the cqa target, but it doesn't run in GitHub Actions. Should it?
- As @korikuzma noticed, the
tox file references some kind of types target, but doesn't seem to actually define or run it(?).
Is your feature request related to a problem? Please describe.
General brainstorming/thoughts on potential alterations to the type checking workflows defined here:
exampleinstallsmypy-extensionandpyright(if I remember correctly, the former doesn't really do anything for the latter, although I think Pylance can use it for type completions -- is that why it's there?). Shouldmypybe utilized as well?pyrightas part of thecqatarget, but it doesn't run in GitHub Actions. Should it?toxfile references some kind oftypestarget, but doesn't seem to actually define or run it(?).