From fb96eb3c367c4680a164ed167e314df33b2ee223 Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Sun, 2 Nov 2025 17:41:49 -1000 Subject: [PATCH] [cpp.pre] Add note on directives in pp-global module fragment Add a note confirming that executing preprocessor directives within the pp-global-module-fragment can produce text-lines. --- source/preprocessor.tex | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/source/preprocessor.tex b/source/preprocessor.tex index e449e8308c..cede64a3c1 100644 --- a/source/preprocessor.tex +++ b/source/preprocessor.tex @@ -302,6 +302,10 @@ At the start of phase 4 of translation, the \grammarterm{group} of a \grammarterm{pp-global-module-fragment} shall contain neither a \grammarterm{text-line} nor a \grammarterm{pp-import}. +\begin{note} +Executing preprocessing directives such as source file inclusion\iref{cpp.include} +during phase 4 of translation can produce \grammarterm{text-line}s. +\end{note} \pnum When in a group that is skipped\iref{cpp.cond}, the directive