Skip to content
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

Gym stubs are out of date #215

Closed
RedTachyon opened this issue Jun 22, 2022 · 1 comment · Fixed by #218
Closed

Gym stubs are out of date #215

RedTachyon opened this issue Jun 22, 2022 · 1 comment · Fixed by #218

Comments

@RedTachyon
Copy link

Hi, I'm a maintainer of gym, and we just got the following issue: openai/gym#2918 about PyLance type hints in VS Code being wrong.

I don't use PyLance or VS Code, and we don't really use type stubs (instead we just try to put type hints everywhere that we can), so I'm like the last person to try and suggest a solution, but the issue does seem to stem from this library

I'm not sure if this specific annotation is an effect of human error, correctly parsing an old version, or incorrectly parsing any version (I'm pretty sure it wasn't technically correct even in the past, but the code used to be quite messy, so that's understandable), but there are some elements of the type stubs which are definitely simply outdated.

I'm assuming there's an automatic process, so if you could update this somehow, that would be great. This leaves an issue with versioning, since gym is in active development so various elements of the API are changing over time, and type stubs for 0.24.1 won't be fully correct for 0.23.0, not to mention older versions. I'm not sure if you have a solution for that. Or maybe the type hints that we've been adding over the last months are now sufficient and the type stubs can be removed?

@BlueskyFR
Copy link
Contributor

BlueskyFR commented Jun 28, 2022

@RedTachyon so far, removing the stubs immensely improved typing for Gym in VSCode, so it would just be great to remove them here as I think they don't cover anything useful anymore

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 a pull request may close this issue.

2 participants