diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-27 09:55:50 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-27 09:55:50 +0000 |
| commit | 95933de17c122f254bd91231d04b9cab89f134c3 (patch) | |
| tree | dcb89d15970690700b3c6ccf95a5c4a0f3d8b3e6 /stdlib/sys.mli | |
| parent | 208be2cae2ec48293f30590ba9184f0e813402d2 (diff) | |
Corrections mineures sur la documentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1933 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/sys.mli')
| -rw-r--r-- | stdlib/sys.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/sys.mli b/stdlib/sys.mli index 53f6c5c49..2178df5da 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -16,7 +16,8 @@ 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 arguments given to the program. *) + The following elements are the command-line arguments + given to the program. *) external file_exists: string -> bool = "sys_file_exists" (* Test if a file with the given name exists. *) external remove: string -> unit = "sys_remove" @@ -39,7 +40,7 @@ external getcwd: unit -> string = "sys_getcwd" val 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 [csltop]. *) + the interactive toplevel system [ocaml]. *) val os_type: string (* Operating system currently executing the Caml program. One of ["Unix"], ["Win32"], or ["MacOS"]. *) @@ -59,6 +60,7 @@ type signal_behavior = | 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. *) |