Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use the output of -warn-help to get the meaning of warning letters. 

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@12046 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2012-01-18 12:19:50 +00:00
parent dbc443b00a
commit 7512ca615e
3 changed files with 5 additions and 48 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manual/manual/Makefile
View File

@ -120,5 +120,5 @@ release:
version.tex: $(SRC)/stdlib/sys.ml
sed -n -e 's/^\([0-9]*\.[0-9]*\).*$$/\\def\\ocamlversion{\1}/p' $(SRC)/VERSION > version.tex
warnings.tex: $(SRC)/utils/warnings.ml
warnings.tex: $(SRC)/utils/warnings.ml $(SRC)/ocamlc
$(SRC)/boot/ocamlrun $(SRC)/ocamlc -warn-help | sed -e 's/^ *\([0-9A-Z][0-9]*\)\(.*\)/\\item[\1] \2/' > warnings.tex

26
manual/manual/cmds/comp.etex
View File

@ -398,34 +398,12 @@ to \var{uppercase-letter}.
to \var{lowercase-letter}.
\end{options}
Warning numbers which are out of the range of warnings that are currently
defined are ignored. The warning numbers are as follows.
Warning numbers and letters which are out of the range of warnings
that are currently defined are ignored. The warning are as follows.
\begin{options}
\input{warnings.tex}
\end{options}
The letters stand for the following sets of warnings. Any letter not
mentioned here corresponds to the empty set.
\begin{options}
\item[A] all warnings
\item[C] 1, 2
\item[D] 3
\item[E] 4
\item[F] 5
\item[K] 32, 33, 34, 35, 36, 37
\item[L] 6
\item[M] 7
\item[P] 8
\item[R] 9
\item[S] 10
\item[U] 11, 12
\item[V] 13
\item[X] 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25
\item[Y] 26
\item[Z] 27
\end{options}
The default setting is "-w +a-4-6-7-9-27-29-32-33-34-35-36-37".
Note that warnings 5 and 10 are not always triggered, depending on
the internals of the type checker.

25
manual/manual/cmds/native.etex
View File

@ -397,33 +397,12 @@ to \var{uppercase-letter}.
to \var{lowercase-letter}.
\end{options}
Warning numbers which are out of the range of warnings that are currently
defined are ignored. The warning numbers are as follows.
Warning numbers and letters which are out of the range of warnings
that are currently defined are ignored. The warning are as follows.
\begin{options}
\input{warnings.tex}
\end{options}
The letters stand for the following sets of warnings. Any letter not
mentioned here corresponds to the empty set.
\begin{options}
\item[A] all warnings
\item[C] 1, 2
\item[D] 3
\item[E] 4
\item[F] 5
\item[L] 6
\item[M] 7
\item[P] 8
\item[R] 9
\item[S] 10
\item[U] 11, 12
\item[V] 13
\item[X] 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25
\item[Y] 26
\item[Z] 27
\end{options}
The default setting is "-w +a-4-6-7-9-27..29".
Note that warnings 5 and 10 are not always triggered, depending on
the internals of the type checker.