From 275b35cc423a334b99d1e41378e445f1a1c4e95d Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Tue, 4 Nov 2025 14:10:53 -1000
Subject: [PATCH] [lex.comment] Add a note that comments are replaced by a
 single space

Add a note about the transience of comments, that are
immediately replaced by space characters as they are
parsed.
---
 source/lex.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/source/lex.tex b/source/lex.tex
index 8005b33374..350acab49f 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -525,6 +525,12 @@
 characters \tcode{//} and \tcode{/*} have no special meaning within a
 \tcode{/*} comment.
 \end{note}
+\begin{note}
+Comments are turned into \unicode{0020}{space} characters in
+phase 3 of translation as part of decomposing a source file into
+preprocessing tokens and sequences of whitespace characters.
+\end{note}
+
 \indextext{comment|)}
 
 \rSec1[lex.pptoken]{Preprocessing tokens}