diff options
author | Robert Baruch <robert.c.baruch@gmail.com> | 2020-11-25 12:02:35 -0800 |
---|---|---|
committer | Robert Baruch <robert.c.baruch@gmail.com> | 2020-11-25 12:02:35 -0800 |
commit | 2bb3fc654a812dd2d82c6b3250a46dcede035de8 (patch) | |
tree | 808e0cff7aa491edf0fc48c83e07b5139016be41 | |
parent | 5d1bb79895545772703f305180e73053aec747c2 (diff) | |
download | yosys-2bb3fc654a812dd2d82c6b3250a46dcede035de8.tar.gz yosys-2bb3fc654a812dd2d82c6b3250a46dcede035de8.tar.bz2 yosys-2bb3fc654a812dd2d82c6b3250a46dcede035de8.zip |
Further juggles the wording of "character".
-rw-r--r-- | manual/CHAPTER_TextRtlil.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex index 7e7dc19ca..243b56a87 100644 --- a/manual/CHAPTER_TextRtlil.tex +++ b/manual/CHAPTER_TextRtlil.tex @@ -25,7 +25,7 @@ Finally, note that all statements (rules ending in \texttt{-stmt}) terminate in \subsection{Characters} -The characters accepted in an RTLIL file are those encodable in 8 bits. UTF-8 is safe to use. Byte order marks at the beginning of the file will cause an error. +An RTLIL file is a stream of bytes. Strictly speaking, a ``character'' in an RTLIL file is a single byte. The lexer treats multi-byte encoded characters as consecutive single-byte characters. While other encodings \textit{may} work, UTF-8 is known to be safe to use. Byte order marks at the beginning of the file will cause an error. ASCII spaces (32) and tabs (9) separate lexer tokens. |