Maybe we should not delete them outright but add something like "(UPDATE: during later discussions it was decided that this feature shouldn't be added.)"
On Fri, Jan 5, 2018 at 10:52 PM, Benjamin Peterson <benja...@python.org> wrote: > > > On Fri, Jan 5, 2018, at 01:57, Nathaniel Smith wrote: > > Was this just an oversight, or did it get rejected at some point and > > no-one remembered to update that PEP? > > There was an implementation https://bugs.python.org/issue4199. But > several years ago, we again reached the conclusion that the feature > shouldn't be added. > > Normally, I think final PEPs shouldn't be updated. But maybe in this case, > it's worth deleting those lines to avoid future confusion. > _______________________________________________ > Python-Dev mailing list > Python-Dev@python.org > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: https://mail.python.org/mailman/options/python-dev/ > guido%40python.org > -- --Guido van Rossum (python.org/~guido)
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
