59
54
The following command-line options are recognized by
64
58
Add the given directory to the list of directories searched for
65
59
source and compiled files. By default, the current directory is
66
60
searched first, then the standard library directory. Directories added
69
63
are searched after the current directory, in the order in which they
70
64
were given on the command line, but before the standard library
67
If the given directory starts with
69
it is taken relative to the
70
standard library directory. For instance,
74
of the standard library to the search path.
76
Directories can also be added to the search path once the toplevel
82
Load the given file instead of the default initialization file.
85
in the current directory if it exists, otherwise
87
in the user's home directory.
90
Labels are not ignored in types, labels may be used in applications,
91
and labelled parameters can be given in any order. This is the default.
94
Do not compile assertion checks. Note that the special form
96
is always compiled because it is typed specially.
99
Ignore non-optional labels in types. Labels cannot be used in
100
applications, and parameter order becomes strict.
103
Do not display any prompt when waiting for input.
106
Do not include the standard library directory in the list of
107
directories searched for source and compiled files.
110
Check information path during type-checking, to make sure that all
111
types are derived in a principal way. When using labelled arguments
112
and/or polymorphic methods, this flag is required to ensure future
113
versions of the compiler will be able to infer types correctly, even
114
if internal algorithms change.
115
All programs accepted in
117
mode are also accepted in the
118
default mode with equivalent types, but different binary signatures,
119
and this may slow down type checking; yet it is a good idea to
120
use it once before publishing source code.
123
Allow arbitrary recursive types during type-checking. By default,
124
only recursive types where the recursion goes through an object type
75
Turn bound checking off on array and string accesses (the v.(i)
76
and s.[i] constructs). Programs compiled with
128
Turn bound checking off on array and string accesses (the
130
constructs). Programs compiled with
78
132
are therefore slightly faster, but unsafe: anything can happen if the program
79
133
accesses an array or string outside of its bounds.
136
Print version string and exit.
138
.BI \-w \ warning-list
139
Enable or disable warnings according to the argument
143
for the syntax of the argument.
145
.BI \-warn-error \ warning-list
146
Treat as errors the warnings enabled by the argument
150
for the syntax of the argument.
152
.BR \-help \ or \ \-\-help
153
Display a short usage summary and exit.
81
155
.SH ENVIRONMENT VARIABLES
85
158
If set to iso_8859_1, accented characters (from the
86
159
ISO Latin-1 character set) in string and character literals are
87
160
printed as is; otherwise, they are printed as decimal escape sequences.
91
163
When printing error messages, the toplevel system
added
removed
man/ocaml.m
