diff options
Diffstat (limited to 'man/ocamlopt.m')
| -rw-r--r-- | man/ocamlopt.m | 15 |
1 files changed, 9 insertions, 6 deletions
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 |