Merge pull request #112 from ksromanov/patch-2

Remove Def from abstract syntax of Cloop (racket)

book.tex

@@ -10433,8 +10433,7 @@ Figure~\ref{fig:Rwhile-anf-syntax} defines the output language
       \MID \SETBANG{\Var}{\Exp} \\
      &\MID& \BEGIN{\LP\Exp\ldots\RP}{\Exp}
       \MID \WHILE{\Exp}{\Exp} \\
-\Def &::=& \gray{ \FUNDEF{\Var}{([\Var \code{:} \Type]\ldots)}{\Type}{\code{'()}}{\Exp} }\\
-\LangLoopANF  &::=& \gray{ \PROGRAMDEFS{\code{'()}}{\Def} }
+\LangLoopANF  &::=& \gray{ \PROGRAM{\code{'()}}{\Exp} }
 \end{array}
 \]
 \fi}
@@ -10506,8 +10505,7 @@ fine to place \code{begin} there.
 \newcommand{\CloopASTRacket}{
 \begin{array}{lcl}
 \Atm  &::=&  \VOID \\
-\Stmt &::=& \READ{}\\
-\Def &::=& \DEF{\itm{label}}{\LP\LS\Var\key{:}\Type\RS\ldots\RP}{\Type}{\itm{info}}{\LP\LP\itm{label}\,\key{.}\,\Tail\RP\ldots\RP}
+\Stmt &::=& \READ{}
 \end{array}
 }