summaryrefslogtreecommitdiff
path: root/doc/manual.tex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-03-05 15:05:53 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-03-05 15:05:53 -0500
commit8ffc9097f37fa9794b9b6fe3b8fee1131b71959a (patch)
tree4a68cd824a6edf364dd6bac9ecefc3b8040e798c /doc/manual.tex
parentb5e81a0d27da103e5e771f78a319bae1cfa1703c (diff)
Document hexadecimal literals
Diffstat (limited to 'doc/manual.tex')
-rw-r--r--doc/manual.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 7342915c..ad23d638 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -634,6 +634,8 @@ It is possible to write a $\mt{let}$ expression with its constituents in reverse
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}