signature UNIX structure Unix : UNIX
The Standard ML Basis' Unix structure.
See also: OS
signature UNIX = sig type ('a,'b) proc type signal datatype exit_status = W_EXITED | W_EXITSTATUS of Word8.word | W_SIGNALED of signal | W_STOPPED of signal val execute : string * string list -> ('a,'b) proc val streamsOf : (TextIO.instream, TextIO.outstream) proc -> TextIO.instream * TextIO.outstream val reap : ('a,'b) proc -> OS.Process.status val wait : ('a,'b) proc -> OS.Process.status end
Items not described here are like in the Standard ML Basis' Unix structure.
Limitations: The following functionality is currently missing:
suspends the current process until the system process corresponding to pr terminates. Unlike reap it does not close input and output streams. It returns the exit status given by pr when it terminated. If wait or reap is applied again to pr, it should immediately return the previous exit status.