moved string_of_pid to ML-Systems;
authorwenzelm
Tue Oct 11 13:28:06 2005 +0200 (2005-10-11)
changeset 178223830b0a41d51
parent 17821 daffb154f73e
child 17823 4735c07399c8
moved string_of_pid to ML-Systems;
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Tue Oct 11 13:28:05 2005 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Oct 11 13:28:06 2005 +0200
     1.3 @@ -266,7 +266,6 @@
     1.4    val partition_list: (int -> 'a -> bool) -> int -> int -> 'a list -> 'a list list
     1.5    val gensym: string -> string
     1.6    val scanwords: (string -> bool) -> string list -> string list
     1.7 -  val string_of_pid: Posix.Process.pid -> string
     1.8    type stamp
     1.9    val stamp: unit -> stamp
    1.10    type serial
    1.11 @@ -1285,10 +1284,6 @@
    1.12  
    1.13  end;
    1.14  
    1.15 -(*Convert a process ID to a decimal string (chiefly for tracing)*)
    1.16 -fun string_of_pid pid = 
    1.17 -    Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord pid));
    1.18 -
    1.19  
    1.20  (* lexical scanning *)
    1.21