src/Pure/ML-Systems/polyml_common.ML
changeset 28488 18fea7e88ea1
parent 28443 de653f1ad78b
child 28557 6a661aeff564
--- a/src/Pure/ML-Systems/polyml_common.ML	Fri Oct 03 20:10:44 2008 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Fri Oct 03 21:06:36 2008 +0200
@@ -125,32 +125,13 @@
 
 (** OS related **)
 
-(* Posix patches *)
-
-(*This extension of the Poly/ML Signal structure is only necessary
-  because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
-structure IsaSignal =
-struct
-  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;
-
-
 (* current directory *)
 
 val cd = OS.FileSys.chDir;
 val pwd = OS.FileSys.getDir;
 
-
-(*Convert a process ID to a decimal string (chiefly for tracing)*)
-fun string_of_pid pid =
-  Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord pid));
+fun process_id () =
+  Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord (Posix.ProcEnv.getpid ())));
 
 
 (* getenv *)