diff options
| -rw-r--r-- | man/ocaml.m | 7 | ||||
| -rw-r--r-- | man/ocamlc.m | 6 | ||||
| -rw-r--r-- | man/ocamlopt.m | 6 |
3 files changed, 10 insertions, 9 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index dd01069fa..424e9ebba 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -7,7 +7,7 @@ ocaml \- The Objective Caml interactive toplevel .SH SYNOPSIS .B ocaml [ -.B \-modern +.B \-labels ] [ .B \-unsafe @@ -63,11 +63,12 @@ were given on the command line, but before the standard library directory. .TP -.B \-modern -Switch to the modern semantics for application. Arguments should be +.B \-labels +Switch to ``commuting label mode''. Arguments must be explicitly labeled by labels appearing in types. Arguments with different labels may commute freely. + .TP .B \-unsafe Turn bound checking off on array and string accesses (the v.(i) diff --git a/man/ocamlc.m b/man/ocamlc.m index 23a9369ed..3fa6b83d4 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -19,7 +19,7 @@ ocamlc \- The Objective Caml bytecode compiler .B \-custom ] [ -.B \-modern +.B \-labels ] [ .B \-unsafe @@ -231,8 +231,8 @@ option is given, specify the name of the library produced. Print the version number of the compiler. .TP -.B \-modern -Switch to the modern semantics for application. Arguments should be +.B \-labels +Switch to ``commuting label mode''. Arguments must be explicitly labeled by labels appearing in types. Arguments with different labels may commute freely. diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 72167483c..459919d50 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -19,7 +19,7 @@ ocamlopt \- The Objective Caml native-code compiler .B \-compact ] [ -.B \-modern +.B \-labels ] [ .B \-unsafe @@ -220,8 +220,8 @@ is saved in the file Print the version number of the compiler. .TP -.B \-modern -Switch to the modern semantics for application. Arguments should be +.B \-labels +Switch to ``commuting label mode''. Arguments must be explicitly labeled by labels appearing in types. Arguments with different labels may commute freely. |