Legend:
Library
Module
Module type
Parameter
Class
Class type
System interface.
This module defines higher-level functions than the Unix module and should, wherever possible, be used rather than the Unix module to ensure portability.
author Xavier Leroy (Base module)
author David Teller
val argv : string array
The command line arguments given to the process. The first element is the command name used to invoke the program. The following elements are the command-line arguments given to the program.
val executable_name : string
The name of the file containing the executable currently running.
val file_exists : string -> bool
Test if a file with the given name exists.
val is_directory : string -> bool
Returns true if the given name refers to a directory, false if it refers to another kind of file.
Rename a file. The first argument is the old name and the second is the new name. If there is already another file under the new name, rename may replace it, or raise an exception, depending on your operating system.
val getenv : string -> string
Return the value associated to a variable in the process environment.
Return the value associated to a variable in the process environment or None if the variable is unbound.
since 4.05
val command : string -> int
Execute the given shell command and return its exit code.
val time : unit -> float
Return the processor time, in seconds, used by the program since the beginning of execution.
val chdir : string -> unit
Change the current working directory of the process.
val getcwd : unit -> string
Return the current working directory of the process.
val readdir : string ->string array
Return the names of all files present in the given directory. Names denoting the current directory and the parent directory ("." and ".." in Unix) are not returned. Each string in the result is a file name rather than a complete path. There is no guarantee that the name strings in the resulting array will appear in any specific order; they are not, in particular, guaranteed to appear in alphabetical order.
Currently, the official distribution only supports Native and Bytecode, but it can be other backends with alternative compilers, for example, javascript.
Backend type currently executing the OCaml program. @ since 2.5.3 and 4.04
val unix : bool
True if Sys.os_type = "Unix".
since 4.01.0
val win32 : bool
True if Sys.os_type = "Win32".
since 4.01.0
val cygwin : bool
True if Sys.os_type = "Cygwin".
since 4.01.0
val word_size : int
Size of one word on the machine currently executing the OCaml program, in bits: 32 or 64.
val int_size : int
Size of an int. It is 31 bits (resp. 63 bits) when using the OCaml compiler on a 32 bits (resp. 64 bits) platform. It may differ for other compilers, e.g. it is 32 bits when compiling to JavaScript.
since 2.5.0 and OCaml 4.03.0
val big_endian : bool
Whether the machine currently executing the OCaml program is big-endian.
since 4.00.0
val max_string_length : int
Maximum length of a string.
val max_array_length : int
Maximum length of a normal array. The maximum length of a float array is max_array_length/2 on 32-bit machines and max_array_length on 64-bit machines.
val max_floatarray_length : int
Maximum length of a floatarray. This is also the maximum length of a float array when OCaml is configured with --enable-flat-float-array.
val runtime_variant : unit -> string
Return the name of the runtime variant the program is running on. This is normally the argument given to -runtime-variant at compile time, but for byte-code it can be changed after compilation.
since 2.5.0 and OCaml 4.03.0
val runtime_parameters : unit -> string
Return the value of the runtime parameters, in the same format as the contents of the OCAMLRUNPARAM environment variable.
Set the behavior of the system on receipt of a given signal. The first argument is the signal number. Return the behavior previously associated with the signal.
Exception raised on interactive interrupt if Sys.catch_break is on.
val catch_break : bool -> unit
catch_break governs whether interactive interrupt (ctrl-C) terminates the program or raises Break. Call catch_break true to enable raising Break, and catch_break false to let the system terminate the program on user interrupt.
val ocaml_version : string
ocaml_version is the version of OCaml. It is a string of the form "major.minor[.patchlevel][+additional-info]", where major, minor, and patchlevel are integers, and additional-info is an arbitrary string. The [.patchlevel] and [+additional-info] parts may be absent.
val development_version : bool
true if this is a development version, false otherwise.
As readdir but the results are presented as an enumeration of names.
val enable_runtime_warnings : bool -> unit
Control whether the OCaml runtime system can emit warnings on stderr. Currently, the only supported warning is triggered when a channel created by open_* functions is finalized without being closed. Runtime warnings are enabled by default.
since 2.5.0 and OCaml 4.03
val runtime_warnings_enabled : unit -> bool
Return whether runtime warnings are currently enabled.
since 2.5.0 and OCaml 4.03
Optimization
val opaque_identity : 'a->'a
For the purposes of optimization, opaque_identity behaves like an unknown (and thus possibly side-effecting) function.
At runtime, opaque_identity disappears altogether.
A typical use of this function is to prevent pure computations from being optimized away in benchmarking loops. For example:
for _round = 1 to 100_000 do
ignore (Sys.opaque_identity (my_pure_computation ()))
done
The compiler primitive was added to OCaml 4.03, but we emulate it under 4.02 using the -opaque compilation flag. There is no easy way for Batteries to emulate it correctly under older OCaml versions.