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.

Sign up for GitHub

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

Jump to bottom

Use typing_extensions over typing whenever possible #752

Closed
evhub opened this issue May 27, 2023 · 0 comments
Closed

Use typing_extensions over typing whenever possible #752

evhub opened this issue May 27, 2023 · 0 comments
Labels
compatibility resolved
Milestone
v3.0.2

Comments

@evhub
Copy link
Owner

evhub commented May 27, 2023

typing_extensions includes a bunch of bugfixes and performance improvements over typing (e.g. beartype/beartype#241 (comment)), so we should compile typing imports into typing_extensions imports (with a fall back to typing if typing_extensions isn't installed) whenever possible.
@evhub evhub added this to the v3.0.2 milestone May 27, 2023
evhub added a commit that referenced this issue May 27, 2023
@evhub
Use typing_extensions whenever possible
de574e7 
Resolves   #752.
@evhub evhub added the resolved label May 27, 2023
@evhub evhub closed this as completed May 27, 2023
@evhub evhub mentioned this issue May 29, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compatibility resolved
Projects
None yet
Milestone
v3.0.2
Development

No branches or pull requests
1 participant
@evhub