From 49b1fc43fe7a959f6224323f9b07f8ac48cb6a24 Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Tue, 4 Nov 2025 07:21:56 -1000
Subject: [PATCH] [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.
---
 source/preprocessor.tex | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/source/preprocessor.tex b/source/preprocessor.tex
index e449e8308c..b23c31ecae 100644
--- a/source/preprocessor.tex
+++ b/source/preprocessor.tex
@@ -1253,6 +1253,11 @@
 the \grammarterm{pp-module-name} or \grammarterm{pp-module-partition}
 shall currently be defined as an object-like macro.
 
+\begin{note}
+A \grammarterm{pp-private-module-fragment} is not a
+\grammarterm{pp-module-partition} without a \grammarterm{pp-module-name}.
+\end{note}
+
 \pnum
 Any preprocessing tokens after the \tcode{module} preprocessing token
 in the \tcode{module} directive are processed just as in normal text.