diff options
Diffstat (limited to 'man/ocamlc.m')
| -rw-r--r-- | man/ocamlc.m | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 44671d76d..02ae97dd0 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -501,7 +501,7 @@ invocations of the C compiler and linker in .B \-custom mode. Useful to debug C library problems. .TP -.BR \-vnum\ or \-version +.BR \-vnum \ or\ \-version Print the version number of the compiler in short form (e.g. "3.11.0"), then exit. .TP @@ -543,6 +543,27 @@ between them. A warning specifier is one of the following: \ \ Enable and mark warning number .IR num . +.BI + num1 .. num2 +\ \ Enable all warnings between +.I num1 +and +.I num2 +(inclusive). + +.BI \- num1 .. num2 +\ \ Disable all warnings between +.I num1 +and +.I num2 +(inclusive). + +.BI @ num1 .. num2 +\ \ Enable and mark all warnings between +.I num1 +and +.I num2 +(inclusive). + .BI + letter \ \ Enable the set of warnings corresponding to .IR letter . @@ -722,7 +743,7 @@ mentioned here corresponds to the empty set. .IP The default setting is -.BR \-w\ +a\-4\-6\-9\-27\-29\-32\-33\-34\-35\-36\-37 . +.BR \-w\ +a\-4\-6\-9\-27\-29\-32..37 . Note that warnings .BR 5 \ and \ 10 are not always triggered, depending on the internals of the type checker. |