Commit 1911b641 authored by POTTIER Francois's avatar POTTIER Francois

Added a clarification.

parent 56d75766
......@@ -1928,6 +1928,10 @@ the following declaration:
val main: unit -> thing MenhirInterpreter.result
end
\end{verbatim}
We emphasize that the function \verb+Incremental.main+ does not parse
anything. It constructs a parser state which serves as a \emph{starting}
point. The functions \verb+offer+ and \verb+resume+, described below, are used
to drive the parser.
The sub-module \menhirinterpreter is also part of the incremental API.
Its declaration, which appears in the generated file \texttt{parser.mli}, is as
......
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