16375
|
1 |
(* Title: Pure/ML-Systems/polyml-posix.ML
|
|
2 |
ID: $Id$
|
|
3 |
|
|
4 |
Posix patches for Poly/ML.
|
|
5 |
*)
|
|
6 |
|
|
7 |
(*This extension of the Poly/ML Signal structure is only necessary
|
|
8 |
because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
|
|
9 |
structure IsaSignal =
|
|
10 |
struct
|
|
11 |
open Signal
|
|
12 |
val usr1 = Posix.Signal.usr1
|
|
13 |
val usr2 = Posix.Signal.usr2
|
17763
|
14 |
val alrm = Posix.Signal.alrm
|
|
15 |
val chld = Posix.Signal.chld
|
|
16 |
val cont = Posix.Signal.cont
|
|
17 |
val int = Posix.Signal.int
|
|
18 |
val quit = Posix.Signal.quit
|
16375
|
19 |
end;
|