|
|
@@ -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}}
|
|
|
@@ -8709,7 +8709,7 @@ $\Atm$ to x86:
|
|
|
\end{array}
|
|
|
\end{array}
|
|
|
\]
|
|
|
-}
|
|
|
+\fi}
|
|
|
{\if\edition\pythonEd
|
|
|
\[
|
|
|
\begin{array}{l}
|
|
|
@@ -8945,7 +8945,7 @@ upcoming \code{explicate\_control} pass.
|
|
|
\newcommand{\LifMonadASTPython}{
|
|
|
\begin{array}{rcl}
|
|
|
\Atm &::=& \BOOL{\itm{bool}}\\
|
|
|
-\Exp &::=& \UNIOP{\key{Not()}}{\Exp}
|
|
|
+\Exp &::=& \UNIOP{\key{Not()}}{\Atm}
|
|
|
\MID \CMP{\Atm}{\itm{cmp}}{\Atm} \\
|
|
|
&\MID& \IF{\Exp}{\Exp}{\Exp}
|
|
|
\MID \BEGIN{\Stmt^{*}}{\Exp}\\
|
Jeremy G. Siek