# HG changeset patch
# User paulson
# Date 1128502566 -7200
# Node ID 6f933b702f44a4d4b5b6bca0e40817625b968f51
# Parent  478869f444ca72b4cdb6dbb80145f5afcf1ab5e3
more signals

diff -r 478869f444ca -r 6f933b702f44 src/Pure/ML-Systems/polyml-posix.ML
--- a/src/Pure/ML-Systems/polyml-posix.ML	Tue Oct 04 23:39:42 2005 +0200
+++ b/src/Pure/ML-Systems/polyml-posix.ML	Wed Oct 05 10:56:06 2005 +0200
@@ -25,4 +25,9 @@
   open Signal
   val usr1 = Posix.Signal.usr1
   val usr2 = Posix.Signal.usr2
+  val alrm = Posix.Signal.alrm
+  val chld = Posix.Signal.chld
+  val cont = Posix.Signal.cont
+  val int  = Posix.Signal.int
+  val quit = Posix.Signal.quit
 end;
diff -r 478869f444ca -r 6f933b702f44 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Tue Oct 04 23:39:42 2005 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Oct 05 10:56:06 2005 +0200
@@ -174,6 +174,12 @@
 
 val usr1 = UnixSignals.sigUSR1
 val usr2 = UnixSignals.sigUSR2
+val alrm = UnixSignals.sigALRM
+val chld = UnixSignals.sigCHLD
+val cont = UnixSignals.sigCONT
+val int = UnixSignals.sigINT
+val quit = UnixSignals.sigQUIT
+val term = UnixSignals.sigTERM
 
 end;