diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
commit | 296fc0547052da47bf0e983cab1ce173fa1e8882 (patch) | |
tree | 27f621f1e06d4f6493c88993969c4638861390d7 /man/ocaml.m | |
parent | ca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff) |
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocaml.m')
-rw-r--r-- | man/ocaml.m | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index edcf881ba..f4e89c384 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -7,6 +7,9 @@ ocaml \- The Objective Caml interactive toplevel .SH SYNOPSIS .B ocaml [ +.B \-modern +] +[ .B \-unsafe ] [ @@ -51,6 +54,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 +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) and s.[i] constructs). Programs compiled with |