Update doc for warnings.

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2010-05-04 17:54:14 +00:00
parent 11abcdde8a
commit 98152418fc
1 changed files with 12 additions and 2 deletions

View File

@ -371,6 +371,9 @@ following:
\item["+"\var{num}] Enable warning number \var{num}.
\item["-"\var{num}] Disable warning number \var{num}.
\item["@"\var{num}] Enable and mark warning number \var{num}.
\item["+"\var{num1}..\var{num2}] Enable warnings in the given range.
\item["-"\var{num}..\var{num2}] Disable warnings in the given range.
\item["@"\var{num}..\var{num2}] Enable and mark warnings in the given range.
\item["+"\var{letter}] Enable the set of warnings corresponding to
\var{letter}. The letter may be uppercase or lowercase.
\item["-"\var{letter}] Disable the set of warnings corresponding to
@ -384,7 +387,8 @@ to \var{uppercase-letter}.
to \var{lowercase-letter}.
\end{options}
The warning numbers are as follows.
Warning numbers which are out of the range of warnings that are currently defined are
ignored. The warning numbers are as follows.
\begin{options}
\item[1] Suspicious-looking start-of-comment mark.
@ -447,6 +451,12 @@ module name.
\item[27] Innocuous unused variable: unused variable that is not bound with
"let" nor "as", and doesn't start with an underscore ("_") character.
\item[28] Wildcard pattern given as argument to a constant constructor.
\item[29] Unescaped end-of-line in a string constant (non-portable code).
\item[30] Two labels or constructors of the same name are defined in two mutually recursive types.
\end{options}
The letters stand for the following sets of warnings. Any letter not
@ -470,7 +480,7 @@ mentioned here corresponds to the empty set.
\item[Z] 27
\end{options}
The default setting is "-w +a-4-6-9-27", enabling all warnings except fragile
The default setting is "-w +a-4-6-9-27..29", enabling all warnings except fragile
pattern matchings, omitted labels, missing fields in record patterns,
and innocuous unused variables.
Note that warnings 5 and 10 are not always triggered, depending on