diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2011-06-20 21:42:19 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2011-06-20 21:42:19 +0000 |
| commit | fda490b03cf09a5799cbebf15febb04ad359b77a (patch) | |
| tree | d531d9b0fa1da50845788bdf21efd5b73c490b42 | |
| parent | 9bd35bf83c3e99d87f72be4d5029aa6acad54135 (diff) | |
Documentation of option -strict-sequence. Bad alphabetical ordering corrected.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |