Module `BatSys`Source

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

Sourceval 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.

Sourceval executable_name : string

The name of the file containing the executable currently running.

Sourceval file_exists : string -> bool

Test if a file with the given name exists.

Sourceval is_directory : string -> bool

Returns true if the given name refers to a directory, false if it refers to another kind of file.

raises Sys_error
if no file exists with the given name.

since 3.10.0

Sourceval remove : string -> unit

Remove the given file name from the file system.

Sourceval rename : string -> string -> unit

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.

Sourceval getenv : string -> string

Return the value associated to a variable in the process environment.

raises Not_found
if the variable is unbound.

Sourceval getenv_opt : string -> string option

Return the value associated to a variable in the process environment or None if the variable is unbound.

since 4.05

Sourceval command : string -> int

Execute the given shell command and return its exit code.

Sourceval time : unit -> float

Return the processor time, in seconds, used by the program since the beginning of execution.

Sourceval chdir : string -> unit

Change the current working directory of the process.

Sourceval getcwd : unit -> string

Return the current working directory of the process.

Sourceval 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.

Sourceval interactive : bool ref

This reference is initially set to false in standalone programs and to true if the code is being executed under the interactive toplevel system ocaml.

Sourceval os_type : string

Operating system currently executing the OCaml program. One of

"Unix" (for all Unix versions, including Linux and Mac OS X),
"Win32" (for MS-Windows, OCaml compiled with MSVC++ or Mingw),
"Cygwin" (for MS-Windows, OCaml compiled with Cygwin).

Sourcetype backend_type = Sys.backend_type =

| Native
| Bytecode
| Other of string

Currently, the official distribution only supports Native and Bytecode, but it can be other backends with alternative compilers, for example, javascript.

since 2.5.3 and 4.04

Sourceval backend_type : backend_type

Backend type currently executing the OCaml program.

since 2.5.3 and 4.04

Sourceval unix : bool

True if Sys.os_type = "Unix".

since 4.01.0

Sourceval win32 : bool

True if Sys.os_type = "Win32".

since 4.01.0

Sourceval cygwin : bool

True if Sys.os_type = "Cygwin".

since 4.01.0

Sourceval word_size : int

Size of one word on the machine currently executing the OCaml program, in bits: 32 or 64.

Sourceval 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

Sourceval big_endian : bool

Whether the machine currently executing the OCaml program is big-endian.

since 4.00.0

Sourceval max_string_length : int

Maximum length of a string.

Sourceval 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.

Sourceval 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.

Sourceval 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

Sourceval runtime_parameters : unit -> string

Return the value of the runtime parameters, in the same format as the contents of the OCAMLRUNPARAM environment variable.

since 2.5.0 and OCaml 4.03.0

Sourceval poll_actions : unit -> unit

Run any pending runtime actions, such as minor collections, major GC slices, signal handlers, finalizers, or memprof callbacks.

since 3.9.0 and OCaml 5.3

Sourceval is_regular_file : string -> bool

Signal handling

Sourcetype signal_behavior = Sys.signal_behavior =

| Signal_default
| Signal_ignore
| Signal_handle of int -> unit
(*
What to do when receiving a signal:
- Signal_default: take the default behavior (usually: abort the program)
- Signal_ignore: ignore the signal
- Signal_handle f: call function f, giving it the signal number as argument.
*)

Sourceval signal : int -> signal_behavior -> signal_behavior

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.

raises Invalid_argument
If the signal number is invalid (or not available on your system).

Sourceval set_signal : int -> signal_behavior -> unit

Same as Sys.signal but return value is ignored.

Signal numbers for the standard POSIX signals.

Sourceval sigabrt : int

Abnormal termination

Sourceval sigalrm : int

Timeout

Sourceval sigfpe : int

Arithmetic exception

Sourceval sighup : int

Hangup on controlling terminal

Sourceval sigill : int

Invalid hardware instruction

Sourceval sigint : int

Interactive interrupt (ctrl-C)

Sourceval sigkill : int

Termination (cannot be ignored)

Sourceval sigpipe : int

Broken pipe

Sourceval sigquit : int

Interactive termination

Sourceval sigsegv : int

Invalid memory reference

Sourceval sigterm : int

Termination

Sourceval sigusr1 : int

Application-defined signal 1

Sourceval sigusr2 : int

Application-defined signal 2

Sourceval sigchld : int

Child process terminated

Sourceval sigcont : int

Continue

Sourceval sigstop : int

Stop

Sourceval sigtstp : int

Interactive stop

Sourceval sigttin : int

Terminal read from background process

Sourceval sigttou : int

Terminal write from background process

Sourceval sigvtalrm : int

Timeout in virtual time

Sourceval sigprof : int

Profiling interrupt

Sourceval sigbus : int

Bus error

since 2.5.0

Sourceval sigpoll : int

Pollable event

since 2.5.0

Sourceval sigsys : int

Bad argument to routine

since 2.5.0

Sourceval sigtrap : int

Trace/breakpoint trap

since 2.5.0

Sourceval sigurg : int

Urgent condition on socket

since 2.5.0

Sourceval sigxcpu : int

Timeout in cpu time

since 2.5.0

Sourceval sigxfsz : int

File size limit exceeded

since 2.5.0

Sourceexception Break

Exception raised on interactive interrupt if Sys.catch_break is on.

Sourceval 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.

Sourceval 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.

Sourceval development_version : bool

true if this is a development version, false otherwise.

since 4.14.0

Sourcetype extra_prefix = Sys.extra_prefix =

| Plus
| Tilde

Sourcetype extra_info = Sys.extra_info

Sourcetype ocaml_release_info = Sys.ocaml_release_info = {

major : int;
minor : int;
patchlevel : int;
extra : extra_info option;

}

Sourceval ocaml_release : ocaml_release_info

Sourceval files_of : string -> string BatEnum.t

As readdir but the results are presented as an enumeration of names.

Sourceval 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

Sourceval runtime_warnings_enabled : unit -> bool

Return whether runtime warnings are currently enabled.

since 2.5.0 and OCaml 4.03

Optimization

Sourceval 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.

since 2.5.0 and OCaml 4.02

Sourcemodule Immediate64 = Sys.Immediate64

Sourceval mkdir : string -> int -> unit

Create a directory with the given permissions.

since 3.3.0 and 4.12.0

Sourceval rmdir : string -> unit

Remove an empty directory.

since 3.3.0 and 4.12.0

Install

Dune Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatSys/index.html

Module `BatSys`Source

Signal handling

Signal numbers for the standard POSIX signals.

Optimization

package batteries

Install

Dune Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatSys/index.html

Module BatSysSource

Signal handling

Signal numbers for the standard POSIX signals.

Optimization

Module `BatSys`Source