Skip to content

[lex.phases] replace term 'input file' with 'source file' in phase 1 #7192

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions source/lex.tex
Original file line number Diff line number Diff line change
Expand Up @@ -69,19 +69,19 @@
\begin{enumerate}
\item
\indextext{character!source file}%
An implementation shall support input files
An implementation shall support source files
that are a sequence of UTF-8 code units (UTF-8 files).
It may also support
an \impldef{supported input files} set of other kinds of input files, and,
if so, the kind of an input file is determined in
an \impldef{determination of kind of input file} manner
that includes a means of designating input files as UTF-8 files,
an \impldef{supported source files} set of other kinds of source files, and,
if so, the kind of a source file is determined in
an \impldef{determination of kind of source file} manner
that includes a means of designating source files as UTF-8 files,
independent of their content.
\begin{note}
In other words,
recognizing the \unicode{feff}{byte order mark} is not sufficient.
\end{note}
If an input file is determined to be a UTF-8 file,
If a source file is determined to be a UTF-8 file,
then it shall be a well-formed UTF-8 code unit sequence and
it is decoded to produce a sequence of Unicode
\begin{footnote}
Expand All @@ -100,7 +100,7 @@
\unicode{000d}{carriage return} not immediately followed by a \unicode{000a}{line feed},
is replaced by a single new-line character.

For any other kind of input file supported by the implementation,
For any other kind of source file supported by the implementation,
characters are mapped, in an
\impldef{mapping physical source file characters to translation character set} manner,
to a sequence of translation character set elements\iref{lex.charset},
Expand Down
Loading