diff options
| author | Matthew Fernandez | 2018-08-09 18:14:12 -0700 |
|---|---|---|
| committer | Matthew Fernandez | 2018-08-09 18:14:12 -0700 |
| commit | f05a7be239c7063727dcb529821edc7db20d4812 (patch) | |
| tree | d79207b19f139b88d4034854ac62c66043bdf3f2 /doc/tutorial.tex | |
| parent | 58f585cfd9b1f5fd7724fdcb71b46179524653ca (diff) | |
fix tutorial infix example
The syntax for these directives requires the precedence first. E.g. a real world
version of this in riscv/prelude.sail.
Diffstat (limited to 'doc/tutorial.tex')
| -rw-r--r-- | doc/tutorial.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial.tex b/doc/tutorial.tex index 5bd32c67..5a362c28 100644 --- a/doc/tutorial.tex +++ b/doc/tutorial.tex @@ -751,7 +751,7 @@ operator names. Operators may be left, right, or non-associative, and there are 10 different precedence levels, ranging from 0 to 9, with 9 binding the tightest. To declare the precedence of an operator, we use a fixity declaration like: \begin{lstlisting} -infix <=_u 4 +infix 4 <=_u \end{lstlisting} For left or right associative operators, we'd use the keywords \ll{infixl} or \ll{infixr} respectively. An operator can be used |