16375
|
1 |
(* Title: Pure/ML-Systems/polyml-posix.ML
|
|
2 |
ID: $Id$
|
|
3 |
|
|
4 |
Posix patches for Poly/ML.
|
|
5 |
*)
|
|
6 |
|
|
7 |
structure OriginalPosix = Posix;
|
|
8 |
structure OriginalIO = Posix.IO;
|
|
9 |
|
|
10 |
structure Posix =
|
|
11 |
struct
|
|
12 |
open OriginalPosix
|
|
13 |
structure IO =
|
|
14 |
struct
|
|
15 |
open OriginalIO
|
|
16 |
val mkTextReader = mkReader
|
|
17 |
val mkTextWriter = mkWriter
|
|
18 |
end;
|
|
19 |
end;
|
|
20 |
|
|
21 |
(*This extension of the Poly/ML Signal structure is only necessary
|
|
22 |
because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
|
|
23 |
structure IsaSignal =
|
|
24 |
struct
|
|
25 |
open Signal
|
|
26 |
val usr1 = Posix.Signal.usr1
|
|
27 |
val usr2 = Posix.Signal.usr2
|
17763
|
28 |
val alrm = Posix.Signal.alrm
|
|
29 |
val chld = Posix.Signal.chld
|
|
30 |
val cont = Posix.Signal.cont
|
|
31 |
val int = Posix.Signal.int
|
|
32 |
val quit = Posix.Signal.quit
|
16375
|
33 |
end;
|