diff options
| author | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
|---|---|---|
| committer | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
| commit | 77b1c8b89fd8940a63b17c41eb37161e5d159831 (patch) | |
| tree | 43dbfb3982d9166b717199cb8faa97bdce30add7 /stdlib/sys.ml | |
| parent | ba79d4bd1f01a70b892c69f6a5e6e86714a023d6 (diff) | |
| download | ocaml-unlabeled-1.2.2.tar.gz | |
This commit was manufactured by cvs2svn to create branchunlabeled-1.2.2
'unlabeled-1.2.2'.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unlabeled-1.2.2@37 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/sys.ml')
| -rw-r--r-- | stdlib/sys.ml | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml deleted file mode 100644 index 79a40d9b3a..0000000000 --- a/stdlib/sys.ml +++ /dev/null @@ -1,46 +0,0 @@ -(* System interface *) - -external get_argv: unit -> string array = "sys_get_argv" - -let argv = get_argv() - -external file_exists: string -> bool = "sys_file_exists" -external remove: string -> unit = "sys_remove" -external getenv: string -> string = "sys_getenv" -external command: string -> int = "sys_system_command" -external chdir: string -> unit = "sys_chdir" - -type signal_behavior = - Signal_default - | Signal_ignore - | Signal_handle of (int -> unit) - -external signal: int -> signal_behavior -> unit = "install_signal_handler" - -let sigabrt = -1 -let sigalrm = -2 -let sigfpe = -3 -let sighup = -4 -let sigill = -5 -let sigint = -6 -let sigkill = -7 -let sigpipe = -8 -let sigquit = -9 -let sigsegv = -10 -let sigterm = -11 -let sigusr1 = -12 -let sigusr2 = -13 -let sigchld = -14 -let sigcont = -15 -let sigstop = -16 -let sigtstp = -17 -let sigttin = -18 -let sigttou = -19 - -exception Break - -let catch_break on = - if on then - signal sigint (Signal_handle(fun _ -> raise Break)) - else - signal sigint Signal_default |