Commit 416fccda authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Document --dump-resolved.

parent 9459a1b7
......@@ -115,6 +115,7 @@
\newcommand{\ocamllex}{\texttt{ocamllex}\xspace}
\newcommand{\token}{\texttt{token}\xspace}
\newcommand{\automaton}{\texttt{.automaton}\xspace}
\newcommand{\automatonresolved}{\texttt{.automaton.resolved}\xspace}
\newcommand{\conflicts}{\texttt{.conflicts}\xspace}
\newcommand{\dott}{\texttt{.dot}\xspace}
......@@ -146,6 +147,7 @@
\newcommand{\odepend}{\oo{depend}}
\newcommand{\orawdepend}{\oo{raw-depend}}
\newcommand{\odump}{\oo{dump}}
\newcommand{\odumpresolved}{\oo{dump-resolved}}
\newcommand{\oerrorrecovery}{\oo{error-recovery}}
\newcommand{\oexplain}{\oo{explain}}
\newcommand{\oexternaltokens}{\oo{external-tokens}}
......
......@@ -158,8 +158,14 @@ validation by Coq may take time.
\docswitch{\odump} This switch causes a description of the automaton
to be written to the file \nt{basename}\automaton. This description
is written \emph{before} conflicts have been resolved. All conflicts
are visible in it.
is written \emph{before} conflicts have been resolved (\sref{sec:conflicts})
and extra reductions have been introduced (\sref{sec:onerrorreduce}).
\docswitch{\odumpresolved} This command line switch causes a description of
the automaton to be written to the file \nt{basename}\automatonresolved. This
description is written \emph{after} conflicts have been resolved
(\sref{sec:conflicts}) and extra reductions have been introduced
(\sref{sec:onerrorreduce}).
\docswitch{\oechoerrors \nt{filename}} This switch causes \menhir to
read the \messages file \nt{filename} and to produce on the standard output
......
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