You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We should try to get the list of packages dynamically, and if that fails, fall back to the hard-coded list. That way, changes in the Python version don't require necessarily changing the list immediately.
The text was updated successfully, but these errors were encountered:
Right now, we have a hard-coded list of packages in the stdlib, similar to scip-go.
https://github.com/sourcegraph/scip-python/blob/scip/packages/pyright-scip/src/hardcoded.ts
We should try to get the list of packages dynamically, and if that fails, fall back to the hard-coded list. That way, changes in the Python version don't require necessarily changing the list immediately.
The text was updated successfully, but these errors were encountered: