|
|
@@ -166,6 +166,12 @@
|
|
|
\newcommand{\BINOP}[3]{\key{BinOp}\LP #1 \code{,} #2 \code{,} #3 \RP}
|
|
|
\newcommand{\CBINOP}[3]{#2~#1~#3}
|
|
|
\newcommand{\CEQ}[2]{#1~\code{==}~#2}
|
|
|
+\newcommand{\CGET}[2]{#1 \LS #2 \RS}
|
|
|
+\newcommand{\GET}[2]{\key{Subscript}\LP #1 \code{,} #2 \code{,} \code{Load()} \RP}
|
|
|
+\newcommand{\CLEN}[1]{\code{len}\LP #1 \RP}
|
|
|
+\newcommand{\LEN}[1]{\code{Call}\LP \code{Name('len')} \code{,} \LS #1 \RS \RP}
|
|
|
+\newcommand{\PUT}[2]{\key{Subscript}\LP #1 \code{,} #2 \code{,} \code{Store()} \RP}
|
|
|
+\newcommand{\TUPLE}[1]{\key{Tuple}\LP #1 \code{,} \code{Load()} \RP}
|
|
|
\newcommand{\BOOLOP}[3]{\key{BoolOp}\LP #1 \code{,} \LS #2 \code{,} #3 \RS \RP}
|
|
|
\newcommand{\CMP}[3]{\key{Compare}\LP #1\code{,}\LS #2 \RS \code{,} \LS #3 \RS\RP}
|
|
|
\newcommand{\TRUE}{\key{True}}
|
|
|
@@ -194,6 +200,7 @@
|
|
|
\newcommand{\BEGIN}[2]{\LP\key{Begin}~#1~#2\RP}
|
|
|
\newcommand{\CSETBANG}[2]{\LP\key{set!}~#1~#2\RP}
|
|
|
\newcommand{\SETBANG}[2]{\LP\key{SetBang}~#1~#2\RP}
|
|
|
+\newcommand{\GETBANG}[1]{\LP\key{GetBang}~#1\RP}
|
|
|
\newcommand{\NOT}[1]{\key{(Prim}~\code{not}~\code{(}#1~\code{))}}
|
|
|
\newcommand{\CAST}[3]{\LP\key{Cast}~#1~#2~#3\RP}
|
|
|
\newcommand{\VECTOR}[1]{\LP\key{Prim}~\code{vector}~\LP~#1\RP\RP}
|
Peter Thiemann