(original) (raw)

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 <benjamin@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)