|
@@ -26,7 +26,7 @@
|
|
|
|
|
|
\def\racketEd{0}
|
|
|
\def\pythonEd{1}
|
|
|
-\def\edition{0}
|
|
|
+\def\edition{1}
|
|
|
|
|
|
% material that is specific to the Racket edition of the book
|
|
|
\newcommand{\racket}[1]{{\if\edition\racketEd{#1}\fi}}
|
|
@@ -8535,7 +8535,7 @@ abstract syntax.
|
|
|
\begin{array}{lcl}
|
|
|
\Atm &::=& \BOOL{\itm{bool}} \\
|
|
|
\itm{cmp} &::= & \code{eq?} \MID \code{<} \MID \code{<=} \MID \code{>} \MID \code{>=} \\
|
|
|
-\Exp &::= & \UNIOP{\key{'not}}{\Atm} \MID \BINOP{\key{'}\itm{cmp}}{\Atm}{\Atm} \\
|
|
|
+\Exp &::= & \UNIOP{\key{\textquotesingle not}}{\Atm} \MID \BINOP{\key{\textquotesingle}\itm{cmp}}{\Atm}{\Atm} \\
|
|
|
\Tail &::= & \GOTO{\itm{label}} \\
|
|
|
&\MID& \IFSTMT{\BINOP{\itm{cmp}}{\Atm}{\Atm}}{\GOTO{\itm{label}}}{\GOTO{\itm{label}}}
|
|
|
\end{array}
|
|
@@ -8965,7 +8965,7 @@ interfere with the generation of high-quality output in the upcoming
|
|
|
\newcommand{\LifMonadASTRacket}{
|
|
|
\begin{array}{rcl}
|
|
|
\Atm &::=& \BOOL{\itm{bool}}\\
|
|
|
-\Exp &::=& \UNIOP{\key{not}}{\Atm}
|
|
|
+\Exp &::=& \UNIOP{\key{\textquotesingle not}}{\Atm}
|
|
|
\MID \BINOP{\itm{cmp}}{\Atm}{\Atm}
|
|
|
\MID \IF{\Exp}{\Exp}{\Exp}
|
|
|
\end{array}
|
|
@@ -9896,7 +9896,7 @@ right-hand side into a sequence of three instructions. Let $\Arg_1$
|
|
|
be the translation of $\Atm_1$ to x86 and likewise for $\Arg_2$.\\
|
|
|
\begin{tabular}{lll}
|
|
|
\begin{minipage}{0.4\textwidth}
|
|
|
-$\CASSIGN{\Var}{ \LP\CEQ{\Atm_1}{\Atm_2} \RP }$
|
|
|
+$\CASSIGN{\Var}{ \CEQ{\Atm_1}{\Atm_2} }$
|
|
|
\end{minipage}
|
|
|
&
|
|
|
$\Rightarrow$
|