diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-13 14:20:48 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-13 14:20:48 +0000 |
commit | 15c43b7ee1a6f2271c75cf9c6b34b47a73930e1c (patch) | |
tree | 1d2544df4c95fb9bb82b4a744702e6e06b0a60c0 | |
parent | 5ed995f789af14f4ae05c7a6bfefe8939d5c1db6 (diff) |
Doc -labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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. |