Skip to content

Commit 0ef6404

Browse files
jensmaurerzygoloid
authored andcommitted
[temp.concept] Move grammar non-terminal concept-definition here.
Also move concept-name here, both from [temp.pre].
1 parent 19a6687 commit 0ef6404

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

source/templates.tex

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -49,16 +49,6 @@
4949
constraint-logical-and-expression \terminal{\&\&} primary-expression
5050
\end{bnf}
5151

52-
\begin{bnf}
53-
\nontermdef{concept-definition}\br
54-
\keyword{concept} concept-name \terminal{=} constraint-expression \terminal{;}
55-
\end{bnf}
56-
57-
\begin{bnf}
58-
\nontermdef{concept-name}\br
59-
identifier
60-
\end{bnf}
61-
6252
\begin{bnf}
6353
\nontermdef{type-constraint}\br
6454
\opt{nested-name-specifier} concept-name\br
@@ -4038,6 +4028,16 @@
40384028
A \defn{concept} is a template
40394029
that defines constraints on its template arguments.
40404030

4031+
\begin{bnf}
4032+
\nontermdef{concept-definition}\br
4033+
\keyword{concept} concept-name \terminal{=} constraint-expression \terminal{;}
4034+
\end{bnf}
4035+
4036+
\begin{bnf}
4037+
\nontermdef{concept-name}\br
4038+
identifier
4039+
\end{bnf}
4040+
40414041
\pnum
40424042
A \grammarterm{concept-definition}
40434043
declares a concept.

0 commit comments

Comments
 (0)