diff options
| author | alainfrisch <alain@frisch.fr> | 2016-01-12 23:53:59 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2016-07-18 10:35:19 +0200 |
| commit | 32f0e2120ccf80eb47509436da5c75b12691614c (patch) | |
| tree | 0482bcb5ab2ecacb208ccd46590e25cb67a4b287 /man | |
| parent | 18cd8a6c0123e4ba6e7858d5bf2e7ed1e86316ef (diff) | |
| download | ocaml-32f0e2120ccf80eb47509436da5c75b12691614c.tar.gz | |
Detect unused module declarations.
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlc.m | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 0dc5940c88..cceafb432b 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -882,6 +882,9 @@ mutually recursive types. 59 \ \ Assignment on non-mutable value. +60 +\ \ Unused module declaration. + The letters stand for the following sets of warnings. Any letter not mentioned here corresponds to the empty set. @@ -935,7 +938,7 @@ mentioned here corresponds to the empty set. .IP The default setting is -.BR \-w\ +a\-4\-6\-7\-9\-27\-29\-32..39\-41\-42\-44\-45\-48\-50 . +.BR \-w\ +a\-4\-6\-7\-9\-27\-29\-32..39\-41\-42\-44\-45\-48\-50\-60 . Note that warnings .BR 5 \ and \ 10 are not always triggered, depending on the internals of the type checker. |