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
I have a working prototype of this that I haven't submitted yet. It uses some of the changes made in #16519 so I would like for that PR to get merged first (the other PR is also less controversial so if it is not accepted I don't this will be accepted).
)
Addresses part of #16737
This only replaces typing symbols that have equivalents in the
`builtins` module. Replacing other symbols, like those from the
`collections.abc` module, are a bit more complicated so I suggest we
handle them separately.
I also changed the default `TypedDict` module from `typing_extensions`
to `typing` as typeshed dropped support for Python 3.7.
hamdanal
added a commit
to hamdanal/mypy
that referenced
this issue
Feb 20, 2024
…hon#16780)
Addresses part of python#16737
This only replaces typing symbols that have equivalents in the
`builtins` module. Replacing other symbols, like those from the
`collections.abc` module, are a bit more complicated so I suggest we
handle them separately.
I also changed the default `TypedDict` module from `typing_extensions`
to `typing` as typeshed dropped support for Python 3.7.
Feature
stubgen currently does not emit PEP 585 syntax, it should, it is permissible, and typeshed has been using PEP 585 syntax for a long while now.
For example, stubgen outputs the following non-PEP-585 syntax in the most current version.
Pitch
stubgen should output PEP-585 syntax.
The text was updated successfully, but these errors were encountered: