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
Feature
The misc/proper_plugin.py is currently not packaged with mypy. Can we expose it as part of mypy itself?
Pitch
I think it would be wise to have a single source of truth for the proper_plugin.py. As the mypy project already uses it to validate internal plugins like the dataclasses, it should stay up to date. Some projects copy the file to their project, but that can cause confusing from not being up to date (i.e. #8047 (comment)). I think externally developed plugins could benefit from the plugin. So perhaps exposing it as mypy.misc.proper_plugin?
The text was updated successfully, but these errors were encountered:
Feature
The misc/proper_plugin.py is currently not packaged with mypy. Can we expose it as part of mypy itself?
Pitch
I think it would be wise to have a single source of truth for the proper_plugin.py. As the mypy project already uses it to validate internal plugins like the dataclasses, it should stay up to date. Some projects copy the file to their project, but that can cause confusing from not being up to date (i.e. #8047 (comment)). I think externally developed plugins could benefit from the plugin. So perhaps exposing it as
mypy.misc.proper_plugin
?The text was updated successfully, but these errors were encountered: