diff options
| author | Robert Baruch <robert.c.baruch@gmail.com> | 2020-11-25 10:06:22 -0800 |
|---|---|---|
| committer | Robert Baruch <robert.c.baruch@gmail.com> | 2020-11-25 10:06:22 -0800 |
| commit | 1faf0e6dcc734355ff8eb45d6ac63a6e8ae08f7b (patch) | |
| tree | 9b5ef6a0d3315af566873273dccf74789775281a /manual | |
| parent | 5615c4190758c2df6ab55f8332a478296b6fd0af (diff) | |
| download | yosys-1faf0e6dcc734355ff8eb45d6ac63a6e8ae08f7b.tar.gz yosys-1faf0e6dcc734355ff8eb45d6ac63a6e8ae08f7b.tar.bz2 yosys-1faf0e6dcc734355ff8eb45d6ac63a6e8ae08f7b.zip | |
Clarifies whitespace and eol.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/CHAPTER_TextRtlil.tex | 8 |
1 files 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: <autogen-id> ::= "\textdollar" <nonws>$+$ \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: |