Module Sys


module Sys = struct ... end
Types
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.

Exceptions
Break Exception raised on interactive interrupt if catch_break is on.

Simple values
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.
interactive bool Pervasives.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.
os_type string
Operating system currently executing the Caml program. One of "Unix", "Win32", "Cygwin" or "MacOS".
word_size int
Size of one word on the machine currently executing the Caml program, in bits: 32 or 64.
max_string_length int
Maximum length of a string.
max_array_length int
Maximum length of an array.
sigabrt int
Abnormal termination
sigalrm int
Timeout
sigfpe int
Arithmetic exception
sighup int
Hangup on controlling terminal
sigill int
Invalid hardware instruction
sigint int
Interactive interrupt (ctrl-C)
sigkill int
Termination (cannot be ignored)
sigpipe int
Broken pipe
sigquit int
Interactive termination
sigsegv int
Invalid memory reference
sigterm int
Termination
sigusr1 int
Application-defined signal 1
sigusr2 int
Application-defined signal 2
sigchld int
Child process terminated
sigcont int
Continue
sigstop int
Stop
sigtstp int
Interactive stop
sigttin int
Terminal read from background process
sigttou int
Terminal write from background process
sigvtalrm int
Timeout in virtual time
sigprof int
Profiling interrupt

Functions

file_exists : string -> bool
Test if a file with the given name exists.

remove : string -> unit
Remove the given file name from the file system.

rename : src:string -> dst:string -> unit
Rename a file. The first argument is the old name and the second is the new name.

getenv : string -> string
Return the value associated to a variable in the process environment. Raise Not_found if the variable is unbound.

command : string -> int
Execute the given shell command and return its exit code.

time : unit -> float
Return the processor time, in seconds, used by the program since the beginning of execution.

chdir : string -> unit
Change the current working directory of the process.

getcwd : unit -> string
Return the current working directory of the process.

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.

set_signal : int -> signal_behavior -> unit
Same as signal but return value is ignored.

catch_break : bool -> unit
catch_break governs whether interactive interrupt (ctrl-C) terminates the program or raises the Break exception. Call catch_break true to enable raising Break, and catch_break false to let the system terminate the program on user interrupt.