From 1faf0e6dcc734355ff8eb45d6ac63a6e8ae08f7b Mon Sep 17 00:00:00 2001 From: Robert Baruch Date: Wed, 25 Nov 2020 10:06:22 -0800 Subject: [PATCH] Clarifies whitespace and eol. --- manual/CHAPTER_TextRtlil.tex | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex index 6bcb325fc..1454bc26e 100644 --- a/manual/CHAPTER_TextRtlil.tex +++ b/manual/CHAPTER_TextRtlil.tex @@ -27,6 +27,12 @@ Finally, note that all statements (rules ending in \texttt{-stmt}) terminate in The characters accepted in an RTLIL file are those encodable in 8 bits. Unicode is not supported. For maximum safety, limit characters to the 7-bit ASCII range $[0,127]$. +Between lexer tokens outside of strings, spaces (ASCII 32) and tabs (ASCII 9) are ignored. + +A \texttt{nonws} character is any character other than a space (ASCII 32), tab (ASCII 9), newline (ASCII 10), or carriage return (ASCII 13). + +An \texttt{eol} is any number of consecutive newlines (ASCII 10) and carriage returns (ASCII 13). + \subsection{Identifiers} There are two types of identifiers in RTLIL: @@ -44,8 +50,6 @@ There are two types of identifiers in RTLIL: ::= "\textdollar" $+$ \end{indentgrammar} -A \texttt{nonws} character is any character other than a space (ASCII 32), tab (ASCII 9), newline (ASCII 10), or carriage return (ASCII 13). - \subsection{Values} A \textit{value} consists of a width in bits and a bit representation, most significant bit first. Bits may be any of: -- 2.30.2