summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArthur Milchior <arthur@milchior.fr>2021-11-26 06:19:06 +0100
committerGitHub <noreply@github.com>2021-11-25 21:19:06 -0800
commitcd876c84932ecc2f7a6c41f3fc800a34d5b06b95 (patch)
treeaf9ed648cd3cb574e56d06de333749e8c00d1978
parent93c65df83cef71a4bc77d71afecdec8744c4f73a (diff)
downloadcpython-git-cd876c84932ecc2f7a6c41f3fc800a34d5b06b95.tar.gz
bpo-45619: documentation of execution model: clarify and update binding summary (#29232)
This does two changes that are quite related. 0. it add that variable binding can occur in pattern matching, an update of 3.10 which seems to have been omitted from the list of bindings 1. Given how long the sentence already was, with even subcases in the middle of the sentence, the commit breaks the sentence into an actual list.
-rw-r--r--Doc/reference/executionmodel.rst28
1 files changed, 19 insertions, 9 deletions
diff --git a/Doc/reference/executionmodel.rst b/Doc/reference/executionmodel.rst
index 5c85dd7052..e652915bd2 100644
--- a/Doc/reference/executionmodel.rst
+++ b/Doc/reference/executionmodel.rst
@@ -56,15 +56,25 @@ Binding of names
.. index:: single: from; import statement
-The following constructs bind names: formal parameters to functions,
-:keyword:`import` statements, class and function definitions (these bind the
-class or function name in the defining block), and targets that are identifiers
-if occurring in an assignment, :keyword:`for` loop header, or after
-:keyword:`!as` in a :keyword:`with` statement or :keyword:`except` clause.
-The :keyword:`!import` statement
-of the form ``from ... import *`` binds all names defined in the imported
-module, except those beginning with an underscore. This form may only be used
-at the module level.
+The following constructs bind names:
+
+* formal parameters to functions,
+* class definitions,
+* function definitions,
+* assignment expressions,
+* :ref:`targets <assignment>` that are identifiers if occurring in
+ an assignment:
+
+ + :keyword:`for` loop header,
+ + after :keyword:`!as` in a :keyword:`with` statement, :keyword:`except`
+ clause or in the as-pattern in structural pattern matching,
+ + in a capture pattern in structural pattern matching
+
+* :keyword:`import` statements.
+
+The :keyword:`!import` statement of the form ``from ... import *`` binds all
+names defined in the imported module, except those beginning with an underscore.
+This form may only be used at the module level.
A target occurring in a :keyword:`del` statement is also considered bound for
this purpose (though the actual semantics are to unbind the name).