diff options
Diffstat (limited to 'pkgs/profpatsch/s6/dhall/unix/Signal/misc')
4 files changed, 43 insertions, 0 deletions
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall new file mode 100644 index 00000000..2ce0b50d --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall @@ -0,0 +1,14 @@ + { SIGIOT = + 6 + , SIGEMT = + 7 + , SIGIO = + 23 + , SIGPWR = + 29 + , SIGINFO = + 29 + , SIGWINCH = + 28 + } +: ./common-type.dhall ⩓ { SIGEMT : Natural, SIGINFO : Natural } \ No newline at end of file diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/misc/common-type.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/common-type.dhall new file mode 100644 index 00000000..4f4cec9a --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/common-type.dhall @@ -0,0 +1 @@ +{ SIGIOT : Natural, SIGIO : Natural, SIGPWR : Natural, SIGWINCH : Natural } \ No newline at end of file diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/misc/mips.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/mips.dhall new file mode 100644 index 00000000..ac07c128 --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/mips.dhall @@ -0,0 +1,14 @@ + { SIGIOT = + 6 + , SIGEMT = + 7 + , SIGIO = + 22 + , SIGCLD = + 18 + , SIGPWR = + 19 + , SIGWINCH = + 20 + } +: ./common-type.dhall ⩓ { SIGEMT : Natural, SIGCLD : Natural } \ No newline at end of file diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall new file mode 100644 index 00000000..36fdd842 --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall @@ -0,0 +1,14 @@ + { SIGIOT = + 6 + , SIGSTKFLT = + 16 + , SIGIO = + 29 + , SIGPWR = + 30 + , SIGWINCH = + 28 + , SIGUNUSED = + 31 + } +: ./common-type.dhall ⩓ { SIGSTKFLT : Natural, SIGUNUSED : Natural } \ No newline at end of file |