Associativity of matmul unclear from grammar for m_expr

Documentation

6.7. Binary arithmetic operations shows the grammar rule

m_expr ::=  u_expr | m_expr "*" u_expr | m_expr "@" m_expr |
            m_expr "//" u_expr | m_expr "/" u_expr |
            m_expr "%" u_expr

in which all operators except @ for matmul are left-associative (meaning, a*b*c parses as m_expr a*b and u_expr c ) while @ is ambiguous: Does a@b@c parse as m_expr a@b and m_expr c or as m_expr a and m_expr b@c?

According to PEP 465, @ should have the same associativity as *. Should this grammar rule should reflect that by saying m_expr "@" u_expr, that is, with the right-hand side changed from m_expr to u_expr?

Linked PRs

• gh-138847
• gh-145636
• gh-149281

Beginne mit dem im Issue verlinkten Abschnitt „6.7 Binary arithmetic operations“ und vergleiche dessen m_expr-Grammatik mit der in PEP 465 angegebenen Assoziativität. Prüfe die verlinkten PRs gh-138847, gh-145636 und gh-149281; abgeschlossen ist die Aufgabe, wenn die Dokumentation die Assoziativität von @ eindeutig macht und der Spezifikation entspricht.