From 2f475a7bc848dced5d57414c45d929d1859d5505 Mon Sep 17 00:00:00 2001 From: "Michael W. Hudson" Date: Thu, 26 May 2005 07:58:22 +0000 Subject: Fix: [ 1207501 ] Issue in grammar We didn't define dotted_name in the pseudo-grammar in the reference docs. Backport candidate. --- Doc/ref/ref7.tex | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex index a285c4c..535ed95 100644 --- 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}]} -- cgit v0.12