From a7f65f9272a947cf56149331948abd0096462199 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 5 Mar 2015 14:58:34 -0500 Subject: Document new infix operators --- doc/manual.tex | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc') diff --git a/doc/manual.tex b/doc/manual.tex index bcdb7f35..7342915c 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -632,6 +632,8 @@ A signature item $\mt{table} \; x : c$ is shorthand for $\mt{val} \; x : \mt{Bas It is possible to write a $\mt{let}$ expression with its constituents in reverse order, along the lines of Haskell's \cd{where}. An expression $\mt{let} \; e \; \mt{where} \; ed^* \; \mt{end}$ desugars to $\mt{let} \; ed^* \; \mt{in} \; e \; \mt{end}$. +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$. + \section{Static Semantics} -- cgit v1.2.3 From 629f5daeb4017dcb9489fb7bd24a45e61b63f473 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 5 Mar 2015 15:05:53 -0500 Subject: Document hexadecimal literals --- doc/manual.tex | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc') 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} -- cgit v1.2.3