src/Pure/ML-Systems/polyml.ML

--- a/src/Pure/ML-Systems/polyml.ML	Tue Oct 11 13:28:07 2005 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Tue Oct 11 13:28:08 2005 +0200
@@ -178,6 +178,11 @@
   if OS.Process.isSuccess (OS.Process.system cmd) then 0 else 1;
 
 
+(*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));
+
+
 (* getenv *)
 
 fun getenv var =