Skip to content

Add support for PEP 705 - #284

Merged
JelleZijlstra merged 9 commits into
python:mainfrom
JelleZijlstra:pep705
Nov 29, 2023
Merged

Add support for PEP 705#284
JelleZijlstra merged 9 commits into
python:mainfrom
JelleZijlstra:pep705

Conversation

@JelleZijlstra

Copy link
Copy Markdown
Member

No description provided.

@JelleZijlstra

Copy link
Copy Markdown
MemberAuthor

Let's not merge this until python/peps#3440 is merged.

Comment threaddoc/index.rst Outdated
Comment threaddoc/index.rst Outdated
Comment threadsrc/typing_extensions.py Outdated
Comment threadsrc/typing_extensions.py Outdated
Comment threadsrc/typing_extensions.py Outdated
Comment threadsrc/typing_extensions.py
@alicederyn

alicederyn commented Nov 28, 2023

Copy link
Copy Markdown
Contributor

PEP-705 has dropped both readonly and other_keys flags; only the typing.ReadOnly annotation needs to be added now.

Comment threadsrc/typing_extensions.py Outdated
Comment threadsrc/typing_extensions.py Outdated
Co-authored-by: Alice <Alice.Purcell.39@gmail.com>

@AlexWaygoodAlexWaygood left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Some minor suggestions (mostly optional), but overall this looks good!

Comment threadsrc/test_typing_extensions.py Outdated
Comment threadsrc/typing_extensions.py Outdated
Comment threadsrc/typing_extensions.py
Comment threadsrc/typing_extensions.py
JelleZijlstraand others added 2 commits November 29, 2023 09:39
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

@AlexWaygoodAlexWaygood left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM

@JelleZijlstra
JelleZijlstra merged commit 0b0166d into python:mainNov 29, 2023
@JelleZijlstra
JelleZijlstra deleted the pep705 branch November 29, 2023 18:05
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@JelleZijlstra@alicederyn@srittau@AlexWaygood