Issue 15619: set.pop() documentation is confusing (original) (raw)
Issue15619
This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.
This issue has been migrated to GitHub: https://github.com/python/cpython/issues/59824
classification
Title: | set.pop() documentation is confusing | ||
---|---|---|---|
Type: | Stage: | ||
Components: | Documentation | Versions: | Python 3.2, Python 3.3, Python 2.7 |
process
Status: | closed | Resolution: | works for me |
---|---|---|---|
Dependencies: | Superseder: | ||
Assigned To: | docs@python | Nosy List: | anton.barkovsky, docs@python, eli.bendersky, georg.brandl, rhettinger |
Priority: | normal | Keywords: | patch |
Created on 2012-08-10 17:00 by anton.barkovsky, last changed 2022-04-11 14:57 by admin. This issue is now closed.
Files | |||
---|---|---|---|
File name | Uploaded | Description | Edit |
set_pop_doc.patch | anton.barkovsky,2012-08-10 17:00 | Clarify set.pop() documentation | review |
Messages (4) | ||
---|---|---|
msg167895 - (view) | Author: Anton Barkovsky (anton.barkovsky) * | Date: 2012-08-10 17:00 |
I've seen people being confused by the documentation for set.pop() method. It makes it look like the element is selected randomly while it's just unspecified. I'm attaching a patch that clarifies the doc, tested on 3.3, 3.2 and 2.7 | ||
msg167896 - (view) | Author: Georg Brandl (georg.brandl) * ![]() |
Date: 2012-08-10 17:14 |
Sorry, I don't see how "arbitrary" implies "random". So I'm -1 on making the docs more verbose for no apparent gain. | ||
msg167898 - (view) | Author: Eli Bendersky (eli.bendersky) * ![]() |
Date: 2012-08-10 17:40 |
I agree with Georg. As far as I understand the word "arbitrary" - it describes the situation exactly. | ||
msg168022 - (view) | Author: Raymond Hettinger (rhettinger) * ![]() |
Date: 2012-08-12 05:17 |
I concur with Georg and Eli. The word "arbitrary" was chosen intentionally. |
History | |||
---|---|---|---|
Date | User | Action | Args |
2022-04-11 14:57:34 | admin | set | github: 59824 |
2012-08-12 05:17:46 | rhettinger | set | nosy: + rhettingermessages: + |
2012-08-10 18:32:34 | georg.brandl | set | status: open -> closedresolution: works for me |
2012-08-10 17:40:15 | eli.bendersky | set | nosy: + eli.benderskymessages: + |
2012-08-10 17:14:18 | georg.brandl | set | nosy: + georg.brandlmessages: + |
2012-08-10 17:00:36 | anton.barkovsky | create |