diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-04-18 10:08:24 -0400 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-04-19 12:15:17 -0400 |
commit | 817feaf712967e31eb55377887bdf84656411029 (patch) | |
tree | b3e3a282699e61ebb99678db63237552868c248d | |
parent | edfa2ba57c8a2a91b9ebc17684016f639669d0ae (diff) | |
download | ocaml-817feaf712967e31eb55377887bdf84656411029.tar.gz |
Warning reference: make each warning a subsection for labelling
-rw-r--r-- | manual/manual/cmds/comp.etex | 9 |
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} |