|
@@ -13023,9 +13023,10 @@ translation of tuple creation\index{subject}{Lalloc@\LangAlloc{}}.
|
|
|
%% \Stmt &::= & \CASSIGN{\CPUT{\Exp}{\itm{int}}}{\Exp}
|
|
|
%% \end{array}
|
|
|
\begin{array}{rcl}
|
|
|
-\Exp &::=& \COLLECT{\Int} \MID \ALLOCATE{\Int}{\Type} \\
|
|
|
- &\MID& \GLOBALVALUE{\Var} \MID \BEGIN{\Stmt^{*}}{\Exp}\\
|
|
|
-\Stmt{} &::=& \ASSIGN{\PUT{\Exp}{\itm{int}}}{\Exp}
|
|
|
+ \Exp &::=& \GLOBALVALUE{\Var} \MID \ALLOCATE{\Int}{\Type} \\
|
|
|
+ &\MID& \BEGIN{\Stmt^{*}}{\Exp}\\
|
|
|
+ \Stmt{} &::=& \COLLECT{\Int}
|
|
|
+ \MID \ASSIGN{\PUT{\Exp}{\itm{int}}}{\Exp}
|
|
|
\end{array}
|
|
|
\]
|
|
|
\fi}
|