From 817feaf712967e31eb55377887bdf84656411029 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Mon, 18 Apr 2016 10:08:24 -0400 Subject: Warning reference: make each warning a subsection for labelling --- manual/manual/cmds/comp.etex | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/manual/manual/cmds/comp.etex b/manual/manual/cmds/comp.etex index 85745978fa..df44014bb5 100644 --- a/manual/manual/cmds/comp.etex +++ b/manual/manual/cmds/comp.etex @@ -753,8 +753,8 @@ command line, and possibly the "-custom" option. This section describes and explains in detail some warnings: -\begin{options} -\item[Warning 52: fragile constant pattern] +\subsection{Warning 52: fragile constant pattern} +\label{ss:warn52} Some constructors, such as the exception constructors "Failure" and "Invalid_argument", take as parameter a "string" value holding @@ -835,7 +835,9 @@ match int_of_string count_str with end \end{verbatim} -\item[Warning 57: Ambiguous or-pattern variables under guard] +\subsection{Warning 57: Ambiguous or-pattern variables under guard} +\label{ss:warn57} + The semantics of or-patterns in OCaml is specified with a left-to-right bias: a value \var{v} matches the pattern \var{p} "|" \var{q} if it matches \var{p} or \var{q}, but if it matches both, @@ -874,4 +876,3 @@ match int_of_string count_str with semantics (any branch can be taken) relatively to a specific guard. More precisely, it warns when guard uses ``ambiguous'' variables, that are bound to different parts of the scrutinees by different sides of a or-pattern. -\end{options} -- cgit v1.2.1