From 51cbfe66b71d8f70699e6a34ea9b18b01e78f65f Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Tue, 8 Jun 2021 21:42:45 +0200 Subject: [PATCH] P2223R2 Trimming whitespaces before line splicing --- source/lex.tex | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/source/lex.tex b/source/lex.tex index eeab984043..32e18f19b4 100644 --- a/source/lex.tex +++ b/source/lex.tex @@ -86,8 +86,10 @@ \item \indextext{line splicing}% -Each instance of a backslash character (\textbackslash) -immediately followed by a new-line character is deleted, splicing +Each sequence of a backslash character (\textbackslash) +immediately followed by +zero or more whitespace characters other than new-line followed by +a new-line character is deleted, splicing physical source lines to form logical source lines. Only the last backslash on any physical source line shall be eligible for being part of such a splice. @@ -95,8 +97,7 @@ a character sequence that matches the syntax of a \grammarterm{universal-character-name}, the behavior is undefined. A source file that is not empty and that does not end in a new-line -character, or that ends in a new-line character immediately preceded by a -backslash character before any such splicing takes place, +character, or that ends in a splice, shall be processed as if an additional new-line character were appended to the file.