PEP 665: link to "replaced by"

python / peps

Python Enhancement Proposals

https://peps.python.org

4.35k stars 1.5k forks source link

PEP 665: link to "replaced by" #3874

Closed davidszotten closed 1 month ago

davidszotten commented 1 month ago

Some peps replace other previous peps. it would be nice if the page for replaced peps also linked to their replacements

hugovk commented 1 month ago

Please can you give an example?

davidszotten commented 1 month ago

https://peps.python.org/pep-0751/

davidszotten commented 1 month ago

(this was prompted by me trying to find the new one and accidentally initially landing on the old one)

hugovk commented 1 month ago

We have a Superseded-By header for this.

For example, compare https://peps.python.org/pep-3153/ -> https://peps.python.org/pep-3156/

Let's also add Superseded-by: 751 to PEP 665: please see PR https://github.com/python/peps/pull/3875.

davidszotten commented 1 month ago

🎉 thanks!

davidszotten commented 1 month ago

looks like there are a bunch more inconsistencies between the replaces and superseded-by (thanks peps api!)

should they all be in sync? do we care enough to fix? to add some tool to detect future ones?

e.g.

-    "3124": "245, 246",
-    "402": "382",
+    "387": "5",
-    "426": "345",
-    "443": "245, 246, 3124",
-    "449": "381",
-    "452": "247",
-    "464": "381",
-    "487": "422",
-    "600": "513, 571, 599",
+    "600": "599",
+    "621": "631",
-    "723": "722",
-    "742": "724",

hugovk commented 1 month ago

@AA-Turner What do you think? ^