Skip to content

Commit

Permalink
Correct <partDeclaration> (#2280)
Browse files Browse the repository at this point in the history
Correct the language specification grammar rule about `<partDeclaration>` such that it includes `<metadata>`.
  • Loading branch information
eernstg authored Jun 7, 2022
1 parent 8fb9f0a commit 812f939
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion specification/dartLangSpec.tex
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,7 @@
% - Add several lexical rules about identifiers, clarifying different kinds.
% - Clarify the conflicts between extension members and `Object` instance
% members.
% - Correct <partDeclaration> to include metadata.
%
% 2.14
% - Add constraint on type of parameter which is covariant-by-declaration in
Expand Down Expand Up @@ -19772,7 +19773,8 @@ \subsection{Parts}

<partHeader> ::= <metadata> \PART{} \OF{} (<dottedIdentifierList> | <uri>) `;'

<partDeclaration> ::= <partHeader> <topLevelDeclaration>* <EOF>
<partDeclaration> ::=
<partHeader> (<metadata> <topLevelDeclaration>)* <EOF>
\end{grammar}

\LMHash{}%
Expand Down

0 comments on commit 812f939

Please sign in to comment.