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/num64/system/Basis/Implementation/Win32/windows.sml
ViewVC logotype

Diff of /sml/branches/num64/system/Basis/Implementation/Win32/windows.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 5342, Fri Jun 7 16:11:16 2019 UTC revision 5343, Fri Jun 7 16:58:24 2019 UTC
# Line 29  Line 29 
29      val launchApplication : string * string -> unit = cfunProc "launch_application"      val launchApplication : string * string -> unit = cfunProc "launch_application"
30      val openDocument : string -> unit = cfunProc "open_document"      val openDocument : string -> unit = cfunProc "open_document"
31    
32      val waitForSingleObject : W32G.hndl -> SysWord.word option = cfunProc "wait_for_single_object"      val waitForSingleObject : Handle.t -> W32G.word option = cfunProc "wait_for_single_object"
33      fun loopingSleepingWait procHandle = (case waitForSingleObject procHandle      fun loopingSleepingWait procHandle = (case waitForSingleObject procHandle
34             of NONE => (             of NONE => (
35                  OS_Process.sleep (TimeImp.fromMilliseconds 100);                  OS_Process.sleep (TimeImp.fromMilliseconds 100);
# Line 58  Line 58 
58      (* Redirected I/O process support *)      (* Redirected I/O process support *)
59      datatype proc_status      datatype proc_status
60        = DEAD of OS.Process.status        = DEAD of OS.Process.status
61        | ALIVE of W32G.hndl        | ALIVE of Handle.t
62    
63      datatype 'stream stream      datatype 'stream stream
64        = UNOPENED of W32G.hndl        = UNOPENED of Handle.t
65        | OPENED of { stream: 'stream, close: unit -> unit }        | OPENED of { stream: 'stream, close: unit -> unit }
66    
67      datatype ('a, 'b) proc = PROC of {      datatype ('a, 'b) proc = PROC of {
# Line 72  Line 72 
72    
73      (* val execute : string * string -> ('a, 'b) proc *)      (* val execute : string * string -> ('a, 'b) proc *)
74      local      local
75        val cpRedirect : string -> W32G.hndl * W32G.hndl * W32G.hndl =        val cpRedirect : string -> Handle.t * Handle.t * Handle.t =
76              cfunProc "create_process_redirect_handles"              cfunProc "create_process_redirect_handles"
77      in      in
78      fun execute (cmd, arg) = let      fun execute (cmd, arg) = let

Legend:
Removed from v.5342  
changed lines
  Added in v.5343

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