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/IO/prim-io-fn.sml
ViewVC logotype

Diff of /sml/trunk/src/cml/src/IO/prim-io-fn.sml

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

revision 1380, Wed Sep 17 20:20:51 2003 UTC revision 1381, Wed Sep 17 21:28:41 2003 UTC
# Line 9  Line 9 
9    
10      structure Vector : MONO_VECTOR      structure Vector : MONO_VECTOR
11      structure Array : MONO_ARRAY      structure Array : MONO_ARRAY
12        sharing type Vector.vector = Array.vector      structure VectorSlice : MONO_VECTOR_SLICE
13        sharing type Vector.elem = Array.elem      structure ArraySlice : MONO_ARRAY_SLICE
14          sharing type Vector.vector = Array.vector =
15                       VectorSlice.vector = ArraySlice.vector
16          sharing type Vector.elem = Array.elem =
17                       VectorSlice.elem = ArraySlice.elem
18          sharing type ArraySlice.vector_slice = VectorSlice.slice
19      val someElem : Vector.elem      val someElem : Vector.elem
20      eqtype pos      eqtype pos
21      val compare : (pos * pos) -> order      val compare : (pos * pos) -> order
# Line 25  Line 30 
30      type elem = A.elem      type elem = A.elem
31      type vector = V.vector      type vector = V.vector
32      type array = A.array      type array = A.array
33        type array_slice = ArraySlice.slice
34        type vector_slice = VectorSlice.slice
35      type pos = pos      type pos = pos
36    
37      val compare = compare      val compare = compare
# Line 33  Line 40 
40          name       : string,          name       : string,
41          chunkSize  : int,          chunkSize  : int,
42          readVec    : int -> vector,          readVec    : int -> vector,
43          readArr    : {buf : array, i : int, sz : int option} -> int,          readArr    : array_slice -> int,
44          readVecEvt : int -> vector event,          readVecEvt : int -> vector event,
45          readArrEvt : {buf : array, i : int, sz : int option} -> int event,          readArrEvt : array_slice -> int event,
46          avail      : unit -> int option,          avail      : unit -> int option,
47          getPos     : (unit -> pos) option,          getPos     : (unit -> pos) option,
48          setPos     : (pos -> unit) option,          setPos     : (pos -> unit) option,
# Line 48  Line 55 
55      datatype writer = WR of {      datatype writer = WR of {
56          name        : string,          name        : string,
57          chunkSize   : int,          chunkSize   : int,
58          writeVec    : {buf : vector, i : int, sz : int option} -> int,          writeVec    : vector_slice -> int,
59          writeArr    : {buf : array, i : int, sz : int option} -> int,          writeArr    : array_slice -> int,
60          writeVecEvt : {buf : vector, i : int, sz : int option} -> int event,          writeVecEvt : vector_slice -> int event,
61          writeArrEvt : {buf : array, i : int, sz : int option} -> int event,          writeArrEvt : array_slice -> int event,
62          getPos      : (unit -> pos) option,          getPos      : (unit -> pos) option,
63          setPos      : (pos -> unit) option,          setPos      : (pos -> unit) option,
64          endPos      : (unit -> pos) option,          endPos      : (unit -> pos) option,

Legend:
Removed from v.1380  
changed lines
  Added in v.1381

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