Commit febd824d authored by POTTIER Francois's avatar POTTIER Francois

Clarification in the documentation.

parent e8e4d853
......@@ -537,7 +537,7 @@ For compatibility with \ocamlyacc, semantic actions can also refer to
unnamed semantic values via positional keywords of the form
\kw{\$1}, \kw{\$2}, etc.\ This style is discouraged. Furthermore, as
a positional keyword of the form \kw{\$i} is internally rewritten as
\nt{\_i}, such identifiers are forbidden.
\nt{\_i}, the user should not use identifiers of the form \nt{\_i}.
\paragraph{\dprec annotations}
\label{sec:prec}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment