1.1 --- a/src/Pure/ML-Systems/polyml-posix.ML Tue Oct 04 23:39:42 2005 +0200
1.2 +++ b/src/Pure/ML-Systems/polyml-posix.ML Wed Oct 05 10:56:06 2005 +0200
1.3 @@ -25,4 +25,9 @@
1.4 open Signal
1.5 val usr1 = Posix.Signal.usr1
1.6 val usr2 = Posix.Signal.usr2
1.7 + val alrm = Posix.Signal.alrm
1.8 + val chld = Posix.Signal.chld
1.9 + val cont = Posix.Signal.cont
1.10 + val int = Posix.Signal.int
1.11 + val quit = Posix.Signal.quit
1.12 end;
2.1 --- a/src/Pure/ML-Systems/smlnj.ML Tue Oct 04 23:39:42 2005 +0200
2.2 +++ b/src/Pure/ML-Systems/smlnj.ML Wed Oct 05 10:56:06 2005 +0200
2.3 @@ -174,6 +174,12 @@
2.4
2.5 val usr1 = UnixSignals.sigUSR1
2.6 val usr2 = UnixSignals.sigUSR2
2.7 +val alrm = UnixSignals.sigALRM
2.8 +val chld = UnixSignals.sigCHLD
2.9 +val cont = UnixSignals.sigCONT
2.10 +val int = UnixSignals.sigINT
2.11 +val quit = UnixSignals.sigQUIT
2.12 +val term = UnixSignals.sigTERM
2.13
2.14 end;
2.15