Mercurial > urweb
changeset 2125:15d46eb02570
Document hexadecimal literals
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 05 Mar 2015 15:05:53 -0500 |
| parents | f3c24e6790ba |
| children | ec1614fb97bb |
| files | doc/manual.tex |
| diffstat | 1 files changed, 2 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/manual.tex Thu Mar 05 15:03:04 2015 -0500 +++ b/doc/manual.tex Thu Mar 05 15:05:53 2015 -0500 @@ -634,6 +634,8 @@ Ur/Web also includes a few more infix operators: $f \; \texttt{<|} \; x$ desugars to $f \; x$, $x \; \texttt{|>} \; f$ to $f \; x$, $f \; \texttt{<{}<{}<} \; g$ to $\mt{Top}.\mt{compose} \; f \; g$, and $g \; \texttt{>{}>{}>} \; f$ to $\mt{Top}.\mt{compose} \; f \; g$. (The latter two are doing function composition in the usual way.) Furthermore, any identifier may be changed into an infix operator by placing it between backticks, e.g. a silly way to do addition is $x \; \texttt{`}\mt{plus}\texttt{`} \; y$ instead of $x + y$. +Hexadecimal integer literals are supported like \texttt{0xDEADBEEF}. Only capital letters are allowed. + \section{Static Semantics}