next up previous contents index
Next: at and overall statements Up: Applying the simplify algorithm Previous: Note Added.   Contents   Index


on statements

We consider the statement

\begin{displaymath}
\begin{minipage}[t]{\linewidth}\begin{tabbing}
\verb$on($$p$\verb$) $$S$\end{tabbing}\end{minipage}\end{displaymath}

where $p$ is an expression and $S$ is a statement. Pre-translation follows the same pattern as for if statements, see section A.3.3.



Bryan Carpenter 2003-04-15