fixup! Document utop(1) options in manual page

Signed-off-by: Christian Lindig <lindig@gmail.com>
This commit is contained in:
Christian Lindig 2021-12-02 17:04:58 +00:00 committed by Perry E. Metzger
parent c0054c41b2
commit 137b50eee5
1 changed files with 33 additions and 33 deletions

View File

@ -106,106 +106,106 @@ to using \fb#require\fR from inside
.PP .PP
.TP .TP
.BI -absname .BI -absname
Show absolute filenames in error message Show absolute filenames in error message.
.TP .TP
.BI -I " dir" .BI -I " dir"
Add \fIdir\fR to the list of include directories Add \fIdir\fR to the list of include directories.
.TP .TP
.BI -init " file" .BI -init " file"
Load \fIfile\fR instead of default init file Load \fIfile\fR instead of default init file.
.TP .TP
.BI -labels .BI -labels
Use commuting label mode Use commuting label mode.
.TP .TP
.BI -no-app-funct .BI -no-app-funct
Deactivate applicative functors Deactivate applicative functors.
.TP .TP
.BI -noassert .BI -noassert
Do not compile assertion checks Do not compile assertion checks.
.TP .TP
.BI -nolabels .BI -nolabels
Ignore non-optional labels in types Ignore non-optional labels in types.
.TP .TP
.BI -nostdlib .BI -nostdlib
Do not add default directory to the list of include directories Do not add default directory to the list of include directories.
.TP .TP
.BI -ppx " command" .BI -ppx " command"
Pipe abstract syntax trees through preprocessor \fIcommand\fR Pipe abstract syntax trees through preprocessor \fIcommand\fR.
.TP .TP
.BI -principal .BI -principal
Check principality of type inference Check principality of type inference.
.TP .TP
.BI -safe-string .BI -safe-string
Make strings immutable Make strings immutable.
.TP .TP
.BI -short-paths .BI -short-paths
Shorten paths in types (the default) Shorten paths in types (the default).
.TP .TP
.BI -no-short-paths .BI -no-short-paths
Do not shorten paths in types Do not shorten paths in types.
.TP .TP
.BI -rectypes .BI -rectypes
Allow arbitrary recursive types Allow arbitrary recursive types.
.TP .TP
.BI -stdin .BI -stdin
Read script from standard input Read script from standard input.
.TP .TP
.BI -strict-sequence .BI -strict-sequence
Left-hand part of a sequence must have type unit Left-hand part of a sequence must have type unit.
.TP .TP
.BI -unsafe .BI -unsafe
Do not compile bounds checking on array and string access Do not compile bounds checking on array and string access.
.TP .TP
.BI -version .BI -version
Print version and exit Print version and exit.
.TP .TP
.BI -vnum .BI -vnum
Print version number and exit Print version number and exit.
.TP .TP
.BI -w " list" .BI -w " list"
Enable or disable warnings according to \fIlist\fR: Enable or disable warnings according to \fIlist\fR.
.TP .TP
.BI -warn-error " list" .BI -warn-error " list"
Enable or disable error status for warnings according to \fIlist\fR Enable or disable error status for warnings according to \fIlist\fR.
See option \fB-w\fR for the syntax of \fIlist\fR. See option \fB-w\fR for the syntax of \fIlist\fR.
Default setting is \fB-a+31\fR Default setting is \fB-a+31\fR.
.TP .TP
.BI -warn-help .BI -warn-help
Show description of warning numbers Show description of warning numbers.
.TP .TP
.BI -emacs .BI -emacs
Run in emacs mode Run in emacs mode.
.TP .TP
.BI -hide-reserved .BI -hide-reserved
Hide identifiers starting with a '_' (the default) Hide identifiers starting with a '_' (the default).
.TP .TP
.BI -show-reserved .BI -show-reserved
Show identifiers starting with a '_' Show identifiers starting with a '_'.
.TP .TP
.BI -no-implicit-bindings .BI -no-implicit-bindings
Don't add implicit bindings for expressions (the default) Don't add implicit bindings for expressions (the default).
.TP .TP
.BI -implicit-bindings .BI -implicit-bindings
Add implicit bindings: \fIexpr\fR;; -> let _0 = \fIexpr\fR;; Add implicit bindings: \fIexpr\fR;; -> let _0 = \fIexpr\fR;;
.TP .TP
.BI -no-autoload .BI -no-autoload
Disable autoloading of files in Disable autoloading of files in
.I $OCAML_TOPLEVEL_PATH/autoload .I $OCAML_TOPLEVEL_PATH/autoload.
.TP .TP
.BI -require " package" .BI -require " package"
Load this package Load this package.
.TP .TP
.BI -dparsetree .BI -dparsetree
Dump OCaml AST after rewriting Dump OCaml AST after rewriting.
.TP .TP
.BI -dsource .BI -dsource
Dump OCaml source after rewriting Dump OCaml source after rewriting.
.TP .TP
.BI -help .BI -help
Display this list of options Display this list of options.
.TP .TP
.BI --help .BI --help
Display this list of options Display this list of options.
.SH FILES .SH FILES
.I ~/.config/utop/init.ml .I ~/.config/utop/init.ml