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/trunk/src/cml/src/core-cml/io-manager.sml
ViewVC logotype

Diff of /sml/trunk/src/cml/src/core-cml/io-manager.sml

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

revision 843, Tue Jun 19 21:53:04 2001 UTC revision 844, Wed Jun 20 20:39:15 2001 UTC
# Line 68  Line 68 
68              R.BEVT[pollFn]              R.BEVT[pollFn]
69            end            end
70    
71  (** NOTE: there should be an OS.IO.infoToIODesc **)  (* NOTE: this code works because SML/NJ doesn't use opaque signature matching
72      fun sameDesc (pi, pd) =   * on the OS.IO interface.
73            (OS.IO.pollToIODesc(OS.IO.infoToPollDesc pi) = OS.IO.pollToIODesc pd)   *)
74        fun sameDesc (pi, pd) = (OS.IO.infoToPollDesc pi = pd)
75    
76      (* Take an I/O waiting queue and return the cleaned queue along with the list
77       * of poll descriptors in the remaining elements.
78       *)
79      fun clean wq = let      fun clean wq = let
80            fun cl ([] : io_wait_item list, pds, q) = (pds, q)            fun cl ([] : io_wait_item list, pds, q) = (pds, q)
81              | cl ({tid=ref R.CANCEL, ...} :: r, pds, wq) = cl (r, pds, wq)              | cl ({tid=ref R.CANCEL, ...} :: r, pds, wq) = cl (r, pds, wq)
# Line 116  Line 120 
120      fun anyWaiting () = (case !waiting of [] => false | _ => true)      fun anyWaiting () = (case !waiting of [] => false | _ => true)
121    
122    end    end
   

Legend:
Removed from v.843  
changed lines
  Added in v.844

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