summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-04-18 10:08:24 -0400
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-04-19 12:15:17 -0400
commit817feaf712967e31eb55377887bdf84656411029 (patch)
treeb3e3a282699e61ebb99678db63237552868c248d
parentedfa2ba57c8a2a91b9ebc17684016f639669d0ae (diff)
downloadocaml-817feaf712967e31eb55377887bdf84656411029.tar.gz
Warning reference: make each warning a subsection for labelling
-rw-r--r--manual/manual/cmds/comp.etex9
1 files 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}