diff options
Diffstat (limited to 'man/ocamlc.m')
| -rw-r--r-- | man/ocamlc.m | 37 |
1 files changed, 33 insertions, 4 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 1d3c56faa..090f1c686 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -396,6 +396,9 @@ bytecode executables produced with the option .B ocamlc\ \-use\-runtime .IR runtime-name . .TP +.B \-no-alias-deps +Do not record dependencies for module aliases. +.TP .B \-no\-app\-funct Deactivates the applicative behaviour of functors. With this option, each functor application generates new types in its result and @@ -446,6 +449,18 @@ packed object file produced. If the .B \-output\-obj option is given, specify the name of the output file produced. +This can also be used when compiling an interface or implementation +file, without linking, in which case it sets the name of the cmi or +cmo file, and also sets the module name to the file name up to the +first dot. +.TP +.BI \-open \ module +Opens the given module before processing the interface or +implementation files. If several +.B \-open +options are given, they are processed in order, just as if +the statements open! module1;; ... open! moduleN;; were added +at the top of each file. .TP .B \-output\-obj Cause the linker to produce a C object file instead of a bytecode @@ -487,8 +502,9 @@ implementation (.ml) file. .BI \-ppx \ command After parsing, pipe the abstract syntax tree through the preprocessor .IR command . -The format of the input and output of the preprocessor -are not yet documented. +The module +.BR Ast_mapper (3) +implements the external interface of a preprocessor. .TP .B \-principal Check information path during type-checking, to make sure that all @@ -519,6 +535,12 @@ then the .B d suffix is supported and gives a debug version of the runtime. .TP +.B \-safe\-string +Enforce the separation between types +.BR string \ and\ bytes , +thereby making strings read-only. This will become the default in +a future version of OCaml. +.TP .B \-short\-paths When a type is visible under several module-paths, use the shortest one when printing the type's name in inferred interfaces and error and @@ -541,6 +563,13 @@ are therefore slightly faster, but unsafe: anything can happen if the program accesses an array or string outside of its bounds. .TP +.B \-unsafe\-string +Identify the types +.BR string \ and\ bytes , +thereby making strings writable. For reasons of backward compatibility, +this is the default setting for the moment, but this will change in a future +version of OCaml. +.TP .BI \-use\-runtime \ runtime\-name Generate a bytecode executable file that can be executed on the custom runtime system @@ -773,7 +802,7 @@ mutually recursive types. \ \ Unused constructor. 38 -\ \ Unused exception constructor. +\ \ Unused extension constructor. 39 \ \ Unused rec flag. @@ -875,7 +904,7 @@ Note: it is not recommended to use the .B \-warn\-error option in production code, because it will almost certainly prevent compiling your program with later versions of OCaml when they add new -warnings. +warnings or modify existing warnings. The default setting is .B \-warn\-error\ -a (all warnings are non-fatal). |