diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index 46ff072fa..40eb36c5d 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -2888,14 +2888,18 @@ \section{Classes} ::= \ABSTRACT? \CLASS{} ? \gnewline{} ? ? - \gnewline{} `{' ( )* `}' + \gnewline{} \alt \ABSTRACT? \CLASS{} ::= (`,' )* - ::= `;' + ::= `;' \alt + ::= + + ::= `{' * `}' + ::= ? \alt \alt \STATIC? @@ -6051,7 +6055,7 @@ \subsection{Mixin Declaration} \begin{grammar} ::= \MIXIN{} ? \gnewline{} (\ON{} )? ? - \gnewline{} `\{' ( )* `\}' + \gnewline{} \end{grammar} %% TODO(eernst): Change this paragraph if we allow factory constructors. @@ -6306,7 +6310,7 @@ \section{Extensions} \begin{grammar} ::= \gnewline{} \EXTENSION{} ? ? \ON{} - \gnewline{} `\{' ( )* `\}' + \gnewline{} \end{grammar} \LMHash{}% @@ -22154,8 +22158,8 @@ \subsection{Static Types} ::= `[' `,'? `]' - ::= - `\{' (`,' )* `,'? `\}' + ::= \gnewline{} + `{' (`,' )* `,'? `}' ::= \REQUIRED?