Skip to content

Commit

Permalink
Update chapters/statements.tex
Browse files Browse the repository at this point in the history
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>
  • Loading branch information
HansOlsson and henrikt-ma committed Apr 21, 2023
1 parent d6176e3 commit 111330f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/statements.tex
Expand Up @@ -177,7 +177,7 @@ \subsection{For-Statement}\label{for-statement}
\end{lstlisting}
The rules for \lstinline!for!-statements are the same as for \lstinline!for!-expressions in \cref{explicit-iteration-ranges-of-for-equations} -- except that the \lstinline!expression! of a \lstinline!for!-statement is not restricted to a parameter-expression.

If the \lstinline!for!-statement contains expressions that will generate events the range should be an evaluable expression.
If the \lstinline!for!-statement contains expressions that will generate events, the range shall be an evaluable expression.
\begin{nonnormative}
The same event-generating expression in different iterations of the for-loop are seen as different crossing functions, and the restriction ensures that their number is known during translation time.
\end{nonnormative}
Expand Down

0 comments on commit 111330f

Please sign in to comment.