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

Expermimental mypy plugin #7117

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Expermimental mypy plugin #7117

wants to merge 2 commits into from

Conversation

headtr1ck
Copy link
Collaborator

I was playing around a bit with a mypy plugin and this was the best I could come up with.
Unfortunately the mypy docu about the plugins is not very detailed...

This plugin makes mypy recognize the user defined accessors.

There is a quite severe bug in there (due to my lack of understanding of mypy internals probably) which makes it work only on the first run but when you change a line in your code and run mypy again it will crash... (you can delete the cache to make it work one more time again :)

Any chance that a mypy expert can figure this out? haha

@max-sixty
Copy link
Collaborator

(FYI I had been the mypy person here — for my sins — but I think this is beyond my understanding — so putting an issue into mypy might be the best path forward on the cache issue...)

@headtr1ck
Copy link
Collaborator Author

(FYI I had been the mypy person here — for my sins — but I think this is beyond my understanding — so putting an issue into mypy might be the best path forward on the cache issue...)

Didn't want to steal your job, haha.

Yes, I think a mypy issue might be the best way forward.
I still have to construct a minimal example for this issue though ...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants