iSharkFly-Open
/
python-peps
mirror of https://github.com/python/peps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

PEP 728: Update the reference implementation section (#3722) 

Signed-off-by: Zixuan James Li <p359101898@gmail.com>
This commit is contained in:
Zixuan Li 2024-03-14 16:22:26 -04:00 committed by GitHub
parent 9c5494d9e4
commit 377ba53aa3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
peps/pep-0728.rst
View File

@ -651,7 +651,7 @@ because such dict can be a subtype of dict::
not_a_regular_dict: CustomDict = {"num": 1}
int_dict: IntDict = not_a_regular_dict # Not OK
How to Teach this
How to Teach This
=================
The choice of ``"__extra_items__"`` and the requirement of ``closed=True``
@ -775,12 +775,10 @@ from the index signature so that it is possible to define a type like
Reference Implementation
========================
pyanalyze has `experimental support
<https://github.com/quora/pyanalyze/blob/9bfc2c58467c87774a9950838402d2657b1486a0/pyanalyze/extensions.py#L590>`__
for a similar feature.
This proposal is supported in `pyright 1.1.352
<https://github.com/microsoft/pyright/releases/tag/1.1.352>`_, and `pyanalyze
0.12.0 <https://github.com/quora/pyanalyze/releases/tag/v0.12.0>`_.
Reference implementation for this specific proposal, however, is not currently
available.
Acknowledgments
===============