Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/rt-transition/idl-specs/sml-basis-unix.idl
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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

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