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

Be friendlier with type cheker #552

Closed
wants to merge 1 commit into from
Closed

Be friendlier with type cheker #552

wants to merge 1 commit into from

Conversation

senyai
Copy link

@senyai senyai commented Aug 18, 2023

When using a compiled version of the extension, the type checker couldn't resolve anything. Now it can. And with this PR it's easier to navigate code from vscode.

When using a compiled version of the extension, the type checker couldn't resolve anything. Now it can.
@methane
Copy link
Member

methane commented Aug 18, 2023

I don't want to import typing module.

@methane methane closed this Aug 31, 2023
@senyai
Copy link
Author

senyai commented Oct 6, 2023

@methane, can you elaborate on why you don't want to import typing module? I personally think that types reduce debugging time significantly.

@methane
Copy link
Member

methane commented Oct 6, 2023

Importing typing takes significant time and RAM.
I don't want to force all users to pay the cost.

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