Diff of /sml/branches/rt-transition/idl-specs/sml-basis-unix.idl

Parent Directory | Revision Log | Patch

	revision 2984, Sun Apr 13 02:11:53 2008 UTC	revision 2985, Sun Apr 13 21:40:17 2008 UTC
#	Line 10	Line 10
10	sml_signature ("SML_BASIS_UNIX");	sml_signature ("SML_BASIS_UNIX");
11	clib_name ("SMLBasisUnix");	clib_name ("SMLBasisUnix");
12
13		/* typedef [ptr] struct struct_iodesc *IODesc_t; */
14		/* typedef [sml_type("Unsafe.Object.object")] sml_value ML_iodesc_t; */
15		typedef [sml_type("word")] sml_value ML_iodesc_t;
16		typedef [sml_type ("Int32.int")] sml_value ML_unix_pid_t;
17
18		typedef [sml_type("ML_unix_pid_t*word*word")] sml_value ML_process_t;
19
20		(* a combination fork/exec for creating a subprocess; it returns a
21		* triple of the child-process pid, and the standard input and standard
22		* output of the pipes connected to the child.
23		*)
24		(* TODO: how to signal error conditions? *)
25		[sml_context] ML_process_t execute (
26		[in] ML_string_t cmd,
27		[in] ML_string_list_t args,
28		[in] ML_string_list_t env);
29
30	(*	(*
	execute
31	wait	wait
32	kill	kill
33	exit	exit

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2984   changed lines   Added in v.2985

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0