Skip to content

Add a python 3.7+ version of Annotated to typing_extensions (#1014)#632

Merged
ilevkivskyi merged 7 commits intopython:masterfrom
till-varoquaux:master
May 27, 2019
Merged

Add a python 3.7+ version of Annotated to typing_extensions (#1014)#632
ilevkivskyi merged 7 commits intopython:masterfrom
till-varoquaux:master

Conversation

@till-varoquaux
Copy link
Contributor

First commits for PEP 593..

Copy link
Member

@ilevkivskyi ilevkivskyi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for quick implementation! This looks good. I have some suggestions (mostly minor and stylistic).

Shouldn't this also add a "patched" version of get_type_hints() that would work as described in the PEP?

@till-varoquaux
Copy link
Contributor Author

Since I'm new to this code base I'm proceeding very incrementally. The get_type_hints diffs will come in a separate batch.

Copy link
Member

@ilevkivskyi ilevkivskyi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great! I have few more small comments, otherwise this is ready to be merged.

@till-varoquaux
Copy link
Contributor Author

Ok, we should be ready to go! Thank you Ivan and Jakub for your all of your feedback. If you want I can squash all of those commits before we merge this request.

@ilevkivskyi ilevkivskyi merged commit 3a50379 into python:master May 27, 2019
@ilevkivskyi
Copy link
Member

We always squash ourselves, please don't do this.

You can now post in the PEP discussion thread and propose people to try this out and play with it (one can install the library direcrly from GitHub).

jstasiak added a commit to jstasiak/typeshed that referenced this pull request Oct 15, 2019
The code has been added to typing_extensions in
python/typing#632 and
python/typing#639.

I really didn't know how to type Annotated and _AnnotatedAlias here –
feel free to correct this.
JelleZijlstra pushed a commit to python/typeshed that referenced this pull request Oct 16, 2019
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.

4 participants