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/dbm-type-blame/system/Basis/Implementation/Sockets/win32-details.sml
ViewVC logotype

Diff of /sml/branches/dbm-type-blame/system/Basis/Implementation/Sockets/win32-details.sml

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

revision 3593, Wed May 11 03:44:12 2011 UTC revision 3594, Thu May 12 16:06:32 2011 UTC
# Line 6  Line 6 
6   *   *
7   * Author: Matthias Blume (blume@tti-c.org)   * Author: Matthias Blume (blume@tti-c.org)
8   *)   *)
9    
10  structure OpsysDetails : sig  structure OpsysDetails : sig
11    
12      val mkIODesc : int -> PreOS.IO.iodesc      val mkIODesc : int -> PreOS.IO.iodesc
13      val wrapNB_o : ('a -> 'b) -> ('a -> 'b option)      val wrapNB_o : ('a -> 'b) -> ('a -> 'b option)
14      val wrapNB_b : ('a -> unit) -> ('a -> bool)      val wrapNB_b : ('a -> unit) -> ('a -> bool)
15    
16  end = struct  end = struct
17    
18      val mkIODesc = PreOS.IO.SockDesc      val mkIODesc = PreOS.IO.SockDesc
# Line 24  Line 27 
27    
28      fun wrapNB_b f x = (f x; true)      fun wrapNB_b f x = (f x; true)
29          handle ex => if blockErr ex then false else raise ex          handle ex => if blockErr ex then false else raise ex
30    
31  end  end

Legend:
Removed from v.3593  
changed lines
  Added in v.3594

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