PEPs are historical documents, not living documentation, and at some point we should stop changing them. I guess we previously discussed this in #1942 and #2158.
For this particular change, I don't think it's especially important that PEP 484 is exactly correct. It's just an implementation detail.
Activity
AlexWaygood commented on Dec 18, 2021
I recently had a PR to the mypy docs accepted, tackling this issue: python/mypy#11621
I think similar changes to PEP 484 would be good.
JelleZijlstra commented on Dec 18, 2021
PEPs are historical documents, not living documentation, and at some point we should stop changing them. I guess we previously discussed this in #1942 and #2158.
For this particular change, I don't think it's especially important that PEP 484 is exactly correct. It's just an implementation detail.
gvanrossum commented on Dec 18, 2021
Indeed. PEP 484 is no longer provisional.
CAM-Gerlach commented on Mar 4, 2022
@gvanrossum It looks like it is still marked as such—should it be updated?
gvanrossum commented on Mar 4, 2022
Yeah, should be Final. :-)
CAM-Gerlach commented on Mar 4, 2022
Opened as PR #2380