From 2bb3fc654a812dd2d82c6b3250a46dcede035de8 Mon Sep 17 00:00:00 2001 From: Robert Baruch Date: Wed, 25 Nov 2020 12:02:35 -0800 Subject: [PATCH] Further juggles the wording of "character". --- manual/CHAPTER_TextRtlil.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.30.2