diff options
Diffstat (limited to 'pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall')
| -rw-r--r-- | pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall new file mode 100644 index 00000000..76ecb01d --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall @@ -0,0 +1,63 @@ +let POSIX1990 = + { SIGHUP : + Natural + , SIGINT : + Natural + , SIGQUIT : + Natural + , SIGILL : + Natural + , SIGABRT : + Natural + , SIGFPE : + Natural + , SIGKILL : + Natural + , SIGSEGV : + Natural + , SIGPIPE : + Natural + , SIGALRM : + Natural + , SIGTERM : + Natural + , SIGUSR1 : + Natural + , SIGUSR2 : + Natural + , SIGCHLD : + Natural + , SIGCONT : + Natural + , SIGSTOP : + Natural + , SIGTSTP : + Natural + , SIGTTIN : + Natural + , SIGTTOU : + Natural + } + +let POSIX2001 = + { SIGBUS : + Natural + , SIGPOLL : + Natural + , SIGPROF : + Natural + , SIGSYS : + Natural + , SIGTRAP : + Natural + , SIGURG : + Natural + , SIGVTALRM : + Natural + , SIGXCPU : + Natural + , SIGXFSZ : + Natural + } + +in POSIX1990 ⩓ POSIX2001 \ No newline at end of file |