Fix:

[ 1207501 ] Issue in grammar

We didn't define dotted_name in the pseudo-grammar in the reference
docs.  Backport candidate.

diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex
index a285c4ce34b8ef360d144a2417705189acc1f76b..535ed9555984dd61dab29f872e368ec87d947e53 100644 (file)
--- a/Doc/ref/ref7.tex
+++ b/Doc/ref/ref7.tex
@@ -323,6 +323,8 @@ section~\ref{types}):
              {\token{decorator}+}
   \production{decorator}
              {"@" \token{dotted_name} ["(" [\token{argument_list} [","]] ")"] NEWLINE}
+  \production{dotted_name}
+             {\token{identifier} ("." \token{identifier})*}
   \production{parameter_list}
                  {(\token{defparameter} ",")*}
   \productioncont{(~~"*" \token{identifier} [, "**" \token{identifier}]}