Эх сурвалжийг харах

abstract syntax for LAlloc in racket

Jeremy Siek 2 долоо хоног өмнө
parent
commit
c4b950f126
1 өөрчлөгдсөн 4 нэмэгдсэн , 10 устгасан
  1. 4 10
      book.tex

+ 4 - 10
book.tex

@@ -23,7 +23,7 @@
 
 \def\racketEd{0}
 \def\pythonEd{1}
-\def\edition{1}
+\def\edition{0}
 
 % material that is specific to the Racket edition of the book
 \newcommand{\racket}[1]{{\if\edition\racketEd{#1}\fi}}
@@ -13008,20 +13008,14 @@ translation of tuple creation\index{subject}{Lalloc@\LangAlloc{}}.
 {\if\edition\racketEd
 \[
 \begin{array}{lcl}
-  \Exp &::=& (\key{collect} \,\itm{int})
-      \MID (\key{allocate} \,\itm{int}\,\itm{type})
-      \MID (\key{global-value} \,\itm{name}) 
+  \Exp &::=& \COLLECT{\Int} 
+      \MID \ALLOCATE{\Int}{\Type}
+      \MID \GLOBALVALUE{\Var}
 \end{array}
 \]
 \fi}
 {\if\edition\pythonEd\pythonColor
 \[
-%% \begin{array}{lcl}
-%%   \Exp &::=& \key{collect}(\itm{int})
-%%       \MID \key{allocate}(\itm{int},\itm{type})
-%%       \MID \key{global\_value}(\itm{name}) \\
-%%    \Stmt &::= & \CASSIGN{\CPUT{\Exp}{\itm{int}}}{\Exp}
-%% \end{array}
 \begin{array}{rcl}
   \Exp &::=&  \GLOBALVALUE{\Var} \MID \ALLOCATE{\Int}{\Type} 
        \MID \BEGIN{\Stmt^{*}}{\Exp}\\