Commit 7a38bb48 authored by POTTIER Francois's avatar POTTIER Francois

80-column delimiters.

parent 6800b5c8
......@@ -17,7 +17,8 @@
\def\@formatyear{\menhirversion}
\makeatother
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
% Headings.
\title{\menhir Reference Manual\\\normalsize (version \menhirversion)}
......@@ -30,13 +31,13 @@
\maketitle
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\clearpage
\tableofcontents
\clearpage
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Foreword}
......@@ -68,7 +69,7 @@ an entirely different mechanism.
There is room for improvement in the tool and in this reference manual. Bug
reports and suggestions are welcome!
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Usage}
......@@ -367,7 +368,7 @@ see \sref{sec:errors:new}.
\docswitch{\oversion} This switch causes \menhir to print its own version
number and exit.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Lexical conventions}
......@@ -390,7 +391,7 @@ inside \ocaml code, only \ocaml-style comments are allowed.
all references to type constructors (other than the built-in \textit{list}, \textit{option}, etc.)
must be fully qualified.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Syntax of grammar specifications}
......@@ -1152,7 +1153,7 @@ command line switch \ostdlib.
The command line switch \onostdlib instructs Menhir to \emph{not} load the
standard library.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Conflicts}
\label{sec:conflicts}
......@@ -1725,7 +1726,7 @@ when it encounters the actual end of stream, or it could correspond to a piece
of concrete syntax, say, a line feed character, a semicolon, or an
\texttt{end} keyword. The solution is shown in \fref{fig:basiceos:sol}.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Positions}
\label{sec:positions}
......@@ -1880,7 +1881,7 @@ Finally, we remark that \menhir's \dinline keyword (\sref{sec:inline})
does not affect the computation of positions. The same positions are computed,
regardless of where \dinline keywords are placed.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Using \menhir as an interpreter}
\label{sec:interpret}
......@@ -2022,7 +2023,7 @@ The switches \ointerpret and \otrace can be used in conjunction. When
\otrace is set, the interpreter logs its actions to the standard error
channel.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Generated API}
......@@ -2595,7 +2596,7 @@ The function \verb+foreach_terminal_but_error+ enumerates the terminal symbols,
% The directory \distrib{demos/calc-inspection} contains a demo that illustrates the use of the inspection API.
% review it / clean it up!
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Error handling: the traditional way}
\label{sec:errors}
......@@ -2652,7 +2653,7 @@ handling mode is entered. Note that there is no mechanism for inserting an
might also be desirable. It is unclear whether this keyword is useful; it
might be suppressed in the future.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Error handling: the new way}
\label{sec:errors:new}
......@@ -2709,7 +2710,7 @@ In this approach to error handling, the special \error token is not used. It
should not appear in the grammar. Similarly, the \verb+$syntaxerror+ keyword
should not be used.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\subsection{The \messages file format}
\label{sec:messages:format}
......@@ -2830,7 +2831,7 @@ error state that can be reached via other sentences that do involve spurious
reductions.
% Not sure what to conclude about this issue...
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\subsection{Maintaining \messages files}
\label{sec:messages:tools}
......@@ -2912,7 +2913,7 @@ displays information about the state in which the error is detected, in the
form of a \messages file entry. This can be used to quickly find out exactly
what error is caused by one particular input sentence.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\subsection{Writing accurate diagnostic messages}
\label{sec:errors:diagnostics}
......@@ -3150,7 +3151,7 @@ One way of doing this, without explicitly listing all permitted continuations,
is to write: ``Up to this point, a declaration has been recognized. If this
declaration is complete, then at this point, a semicolon is expected''.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\subsection{A working example}
\label{sec:errors:example}
......@@ -3176,7 +3177,7 @@ special form with the fragment of the source text that corresponds to this
stack entry. This mechanism is not built into \menhir; it is implemented in
CompCert using \menhir's incremental API.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Coq back-end}
\label{sec:coq}
......@@ -3354,7 +3355,7 @@ Extract Constant Int31.In => "1".
\end{comment}
% Peut-être en faire aussi un fichier de librairie?
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Comparison with \ocamlyacc}
......@@ -3458,7 +3459,7 @@ The list is roughly sorted by decreasing order of importance.
\end{itemize}
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Questions and Answers}
\label{sec:qa}
......@@ -3538,7 +3539,7 @@ Indeed, as of 2015/11/04, the computation of positions has changed so as to matc
behavior. As a result, \texttt{\$startpos} can now appear to be too far off to the left. This is explained
in \sref{sec:positions}. In short, the solution is to use \verb+$symbolstartpos+ instead.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Technical background}
......@@ -3578,7 +3579,7 @@ The approach to error reports presented in \sref{sec:errors:new} was
proposed by Jeffery~\citeyear{jeffery-03} and further explored by
Pottier~\citeyear{pottier-reachability-cc-2016}.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Acknowledgements}
......@@ -3595,7 +3596,8 @@ Coq proofs for it.
Gabriel Scherer provided motivation for investigating Jeffery's technique.
% ---------------------------------------------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
% Bibliography.
\bibliographystyle{plain}
......
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