1LABLGTK2(1) User Commands LABLGTK2(1)
2
3
4
6 lablgtk2 - manual page for lablgtk2 2.18.12
7
9 ocaml <options> <files>
10
12 Options are:
13
14 -absname
15 Show absolute filenames in error messages
16
17 -alert <list>
18 Enable or disable alerts according to <list>:
19
20 +<alertname>
21 enable alert <alertname>
22
23 -<alertname>
24 disable alert <alertname>
25
26 ++<alertname> treat <alertname> as fatal error
27
28 --<alertname> treat <alertname> as non-fatal
29
30 @<alertname>
31 enable <alertname> and treat it as fatal error
32
33 <alertname> can be 'all' to refer to all alert names
34
35 -I <dir>
36 Add <dir> to the list of include directories
37
38 -init <file>
39 Load <file> instead of default init file
40
41 -labels
42 Use commuting label mode
43
44 -alias-deps
45 Do record dependencies for module aliases
46
47 -no-alias-deps
48 Do not record dependencies for module aliases
49
50 -app-funct
51 Activate applicative functors
52
53 -no-app-funct
54 Deactivate applicative functors
55
56 -noassert
57 Do not compile assertion checks
58
59 -noinit
60 Do not load any init file
61
62 -nolabels
63 Ignore non-optional labels in types
64
65 -noprompt
66 Suppress all prompts
67
68 -nopromptcont
69 Suppress prompts for continuation lines of multi-line inputs
70
71 -nostdlib
72 Do not add default directory to the list of include directories
73
74 -nopervasives
75 (undocumented)
76
77 -open <module>
78 Opens the module <module> before typing
79
80 -ppx <command>
81 Pipe abstract syntax trees through preprocessor <command>
82
83 -principal
84 Check principality of type inference
85
86 -no-principal
87 Do not check principality of type inference (default)
88
89 -rectypes
90 Allow arbitrary recursive types
91
92 -no-rectypes
93 Do not allow arbitrary recursive types (default)
94
95 -safe-string
96 (was set when configuring the compiler)
97
98 -short-paths
99 Shorten paths in types
100
101 -stdin Read script from standard input
102
103 -strict-sequence
104 Left-hand part of a sequence must have type unit
105
106 -no-strict-sequence
107 Left-hand part of a sequence need not have type unit (default)
108
109 -strict-formats
110 Reject invalid formats accepted by legacy implementations
111
112 (Warning: Invalid formats may behave differently from
113
114 previous OCaml versions, and will become always-rejected in fu‐
115 ture OCaml versions. You should always use this flag to detect
116 invalid formats so you can fix them.)
117
118 -no-strict-formats
119 Accept invalid formats accepted by legacy implementations (de‐
120 fault)
121
122 (Warning: Invalid formats may behave differently from
123
124 previous OCaml versions, and will become always-rejected in fu‐
125 ture OCaml versions. You should never use this flag and instead
126 fix invalid formats.)
127
128 -unboxed-types
129 unannotated unboxable types will be unboxed
130
131 -no-unboxed-types
132 unannotated unboxable types will not be unboxed (default)
133
134 -unsafe
135 Do not compile bounds checking on array and string access
136
137 -unsafe-string
138 (option not available)
139
140 -version
141 Print version and exit
142
143 --version
144 Print version and exit
145
146 -no-version
147 Do not print version at startup
148
149 -vnum Print version number and exit
150
151 -w <list>
152 Enable or disable warnings according to <list>:
153
154 +<spec>
155 enable warnings in <spec>
156
157 -<spec>
158 disable warnings in <spec>
159
160 @<spec>
161 enable warnings in <spec> and treat them as errors
162
163 <spec> can be:
164
165 <num> a single warning number
166
167 <num1>..<num2>
168 a range of consecutive warning numbers
169
170 <letter>
171 a predefined set
172
173 default setting is
174 "+a-4-7-9-27-29-30-32..42-44-45-48-50-60-66..70"
175
176 -warn-error <list>
177 Enable or disable error status for warnings according
178
179 to <list>.
180 See option -w for the syntax of <list>.
181
182 Default setting is "-a+31"
183
184 -warn-help
185 Show description of warning numbers
186
187 - <file>
188 Treat <file> as a file name (even if it starts with `-')
189
190 -color {auto|always|never}
191 Enable or disable colors in compiler messages
192
193 The following settings are supported:
194
195 auto use heuristics to enable colors only if supported
196
197 always enable colors
198
199 never disable colors
200
201 The default setting is 'auto', and the current heuristic checks
202 that the TERM environment variable exists and is not empty or
203 "dumb", and that isatty(stderr) holds.
204
205 If the option is not specified, these setting can alternatively
206 be set through the OCAML_COLOR environment variable. -er‐
207 ror-style {contextual|short} Control the way error messages and
208 warnings are printed
209
210 The following settings are supported:
211
212 short only print the error and its location
213
214 contextual
215 like "short", but also display the source code snippet corre‐
216 sponding to the location of the error
217
218 The default setting is 'contextual'.
219
220 If the option is not specified, these setting can alternatively
221 be set through the OCAML_ERROR_STYLE environment variable.
222 -dno-unique-ids (undocumented) -dunique-ids (undocumented)
223 -dno-locations (undocumented) -dlocations (undocumented)
224 -dsource (undocumented) -dparsetree (undocumented) -dtypedtree
225 (undocumented) -drawlambda (undocumented) -dlambda (undocu‐
226 mented) -dinstr (undocumented) -args <file> Read additional
227 newline-terminated command line arguments
228
229 from <file>
230
231 -args0 <file> Read additional null character terminated command line
232 arguments
233
234 from <file>
235
236 -help Display this list of options
237
238 --help Display this list of options
239
240
241
242lablgtk2 2.18.12 February 2022 LABLGTK2(1)