src/Pure/ML-Systems/smlnj.ML

--- a/src/Pure/ML-Systems/smlnj.ML	Tue Oct 11 13:28:07 2005 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Tue Oct 11 13:28:08 2005 +0200
@@ -206,6 +206,11 @@
 val system = OS.Process.system: string -> int;
 
 
+(*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 =