Added the missing POSIX signals in Sys (Guillaume Bury)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Gabriel Scherer 2015-08-02 13:05:45 +00:00
parent 1326b12f74
commit a3041d9550
4 changed files with 60 additions and 1 deletions

View File

@ -73,6 +73,8 @@ Standard library:
- PR#6694, PR#6695: deprecate functions using ISO-8859-1 character set
in Char, Bytes, String and provide alternatives using US-ASCII.
(Peter Zotov)
- GPR#216: add the missing POSIX.1-2001 signals in Sys
(Guillaume Bury)
Type system:
- PR#5545: Type annotations on methods cannot control the choice of abbreviation

View File

@ -238,11 +238,33 @@ void caml_urge_major_slice (void)
#ifndef SIGPROF
#define SIGPROF -1
#endif
#ifndef SIGBUS
#define SIGBUS -1
#endif
#ifndef SIGPOLL
#define SIGPOLL -1
#endif
#ifndef SIGSYS
#define SIGSYS -1
#endif
#ifndef SIGTRAP
#define SIGTRAP -1
#endif
#ifndef SIGURG
#define SIGURG -1
#endif
#ifndef SIGXCPU
#define SIGXCPU -1
#endif
#ifndef SIGXFSZ
#define SIGXFSZ -1
#endif
static int posix_signals[] = {
SIGABRT, SIGALRM, SIGFPE, SIGHUP, SIGILL, SIGINT, SIGKILL, SIGPIPE,
SIGQUIT, SIGSEGV, SIGTERM, SIGUSR1, SIGUSR2, SIGCHLD, SIGCONT,
SIGSTOP, SIGTSTP, SIGTTIN, SIGTTOU, SIGVTALRM, SIGPROF
SIGSTOP, SIGTSTP, SIGTTIN, SIGTTOU, SIGVTALRM, SIGPROF, SIGBUS,
SIGPOLL, SIGSYS, SIGTRAP, SIGURG, SIGXCPU, SIGXFSZ
};
CAMLexport int caml_convert_signal_number(int signo)

View File

@ -210,6 +210,34 @@ val sigvtalrm : int
val sigprof : int
(** Profiling interrupt *)
val sigbus : int
(** Bus error
@since 4.03 *)
val sigpoll : int
(** Pollable event
@since 4.03 *)
val sigsys : int
(** Bad argument to routine
@since 4.03 *)
val sigtrap : int
(** Trace/breakpoint trap
@since 4.03 *)
val sigurg : int
(** Urgent condition on socket
@since 4.03 *)
val sigxcpu : int
(** Timeout in cpu time
@since 4.03 *)
val sigxfsz : int
(** File size limit exceeded
@since 4.03 *)
exception Break
(** Exception raised on interactive interrupt if {!Sys.catch_break}

View File

@ -82,6 +82,13 @@ let sigttin = -18
let sigttou = -19
let sigvtalrm = -20
let sigprof = -21
let sigbus = -22
let sigpoll = -23
let sigsys = -24
let sigtrap = -25
let sigurg = -26
let sigxcpu = -27
let sigxfsz = -28
exception Break