Further juggles the wording of "character".
authorRobert Baruch <robert.c.baruch@gmail.com>
Wed, 25 Nov 2020 20:02:35 +0000 (12:02 -0800)
committerRobert Baruch <robert.c.baruch@gmail.com>
Wed, 25 Nov 2020 20:02:35 +0000 (12:02 -0800)
manual/CHAPTER_TextRtlil.tex

index 7e7dc19ca0253ad0a9b81a7919c9eab21c4f500c..243b56a87a4411e62d64a6d7a5546074253b039b 100644 (file)
@@ -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.