diff options
| -rw-r--r-- | man/ocamlc.m | 5 | ||||
| -rw-r--r-- | man/ocamlopt.m | 15 |
2 files changed, 13 insertions, 7 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 597d0ca0e..54c4296dd 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -454,6 +454,9 @@ then the .B d suffix is supported and gives a debug version of the runtime. .TP +.B \-strict\-sequence +The left-hand part of a sequence must have type unit. +.TP .B \-thread Compile or link multithreaded programs, in combination with the system "threads" library described in @@ -486,7 +489,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 diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 539fe8fe1..80811fb89 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -397,6 +397,12 @@ types are derived in a principal way. All programs accepted in mode are also accepted in default mode with equivalent types, but different binary signatures. .TP +.B \-rectypes +Allow arbitrary recursive types during type-checking. By default, +only recursive types where the recursion goes through an object type +are supported. Note that once you have created an interface using this +flag, you must use it again for all dependencies. +.TP .BI \-runtime\-variant \ suffix Add .I suffix @@ -407,12 +413,6 @@ then the .B d suffix is supported and gives a debug version of the runtime. .TP -.B \-rectypes -Allow arbitrary recursive types during type-checking. By default, -only recursive types where the recursion goes through an object type -are supported. Note that once you have created an interface using this -flag, you must use it again for all dependencies. -.TP .B \-S Keep the assembly code produced during the compilation. The assembly code for the source file @@ -438,6 +438,9 @@ flag. Some constraints might also apply to the way the extra native objects have been compiled (under Linux AMD 64, they must contain only position-independent code). .TP +.B \-strict\-sequence +The left-hand part of a sequence must have type unit. +.TP .B \-thread Compile or link multithreaded programs, in combination with the system threads library described in |