\item[\textcolor{\addcolor}{$\bullet$}]

\ADD{Likewise, a conditional``\IF\$\exp_1$\THEN\$\cdots$'' extends as far right as possible,

which means that optional\ELSE\branches group with innermost conditional.}

which means that optional\ELSE\branches group withtheinnermost conditional.}

\end{itemize}

\FIX{%

\FIX{In a$\fmatch$ with$m$ rules, the expressions$\exp_1,\,\ldots,\,\exp_{m-1}$

must not end in a$\match$.}

\item[\textcolor{\addcolor}{$\bullet$}]

\ADD{The pattern\pat\in a\valbind\may not nested match or guard, unless enclosed

\ADD{The pattern\pat\in a\valbind\may notbe anested match or guard, unless enclosed

by parentheses.}

\end{itemize}%

\subsection{Comments}

\REPL{

A\index{7.1} {\sl comment} is either {\sl line comment} or a {\sl block comment}.

A\index{7.1} {\sl comment} is eithera{\sl line comment} or a {\sl block comment}.

A line comment is any character sequence between the comment delimiter\boxml{(*)}

and the following end of line.

A block comment is any character sequence within comment brackets ~{\tt (* *)}~

in which other comments are properly nested.

No space is allowed between the characters that make up a comment bracket

\ml{(*)},\ml{(*} or\ml{*)}.

No space is allowed between the characters that make up a comment delimiter

\ml{(*)}

or comment bracket

\ml{(*} or\ml{*)}.

An unmatched\boxml{(*} should be detected by the compiler.

}{%

A\index{7.1} {\sl comment}