Skip to content

Commit 0d0f7dd

Browse files
committed
[cpp.module] Note that private module fragments are not partitions
Add a note to avoid repeating the confusion behind NB US US 56-103. The grammar production for pp-global-module-fragment is pages away from where it would otherwise match as an ill-formed module partition.
1 parent 3569622 commit 0d0f7dd

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

source/preprocessor.tex

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1251,6 +1251,11 @@
12511251
the \grammarterm{pp-module-name} or \grammarterm{pp-module-partition}
12521252
shall currently be defined as an object-like macro.
12531253

1254+
\begin{note}
1255+
A \grammarterm{pp-private-module-fragment} is not a
1256+
\grammarterm{pp-module-partition} without a \grammarterm{pp-module-name}.
1257+
\end{note}
1258+
12541259
\pnum
12551260
Any preprocessing tokens after the \tcode{module} preprocessing token
12561261
in the \tcode{module} directive are processed just as in normal text.

0 commit comments

Comments
 (0)