-
Notifications
You must be signed in to change notification settings - Fork 14
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
Ability to see errors in editor #26
Comments
I actually thought about this. But this may be misleading, because the code is not re-checked immediately when you edit it. So it will be underlined as an error even after you fix the error. In other words, this issue and #19 should go together. Btw, now that we have 300-500ms mypy daemon response time (even for huge code bases), this looks like a reasonable feature to have. |
Hi Ivan!
I'm finally on the verge of deploying Thanks again for all your amazing contributions to this ecosystem. |
No, these are times for 0.701. Internally we are using a script that is basically a wrapper around TBH this is a mystery that I would like to be solved, but I can't reproduce this. Maybe you could start the daemon with |
Ok, I created an issue over at mypy. |
This would be an extremely useful feature. FWIW dmypy takes about 100ms to check 20k lines of code, so this would be perfectly acceptable for my use case. I have a wrapper script which uses |
Yeah, this would make most sense together with #19. |
I had a quick play with this plugin and it's an improvement over using a shell, but it's not very tightly integrated into the editor. It would be great to see a bit of the approach used by https://github.com/leinardi/mypy-pycharm integrated here. That plugin looks like it is not actively maintained any longer, and just getting it to detect the mypy executable is a huge PITA (for some reason it's trying to use my system's python2 interpreter), but the big thing it has going for it is the ability to see errors in the editor, which is pretty slick. It gives you a bi-directional relationship between editor view and error view, whereas with this plugin it seems I have only a uni-directional relationship from error-to-editor.
The text was updated successfully, but these errors were encountered: