# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1425585953 18000
# Node ID 15d46eb02570638315209523aa67fc37e74aa123
# Parent  f3c24e6790ba2cb94197fea2cf074405c5fc78b5
Document hexadecimal literals

diff -r f3c24e6790ba -r 15d46eb02570 doc/manual.tex
--- 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}