-
Notifications
You must be signed in to change notification settings - Fork 8.7k
[WIP] Typing fixes #2939
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[WIP] Typing fixes #2939
Conversation
@pseudo-rnd-thoughts @jkterry1 I was originally planning to keep this as a relatively long WIP where I go through each file, but it might actually be important to get this merged pretty soon, particularly the narrowing-down of the excludes. The star excludes are a pretty big issue, since they stop type checking from happening to new code as well, which means we continue to produce iffy code. |
…ver reason. It's still exported for backwards compatibility, but internal code now uses a public variable.
Agreed, I can help with a separate PR on a separate part of the project if that speeds things up |
LGTM |
Description
Progressively removing excludes from pyright and making them pass.
For now it's only toy_text envs, and I narrowed down the
spaces
exclude to the only one that was failing (the new graph space).I'm also planning to narrow down the exclusion lists, since the
Graph
space should have never been merged with failing type checks, but it was just blanket excluded.Fixes # (issue)
Type of change
Please delete options that are not relevant.