SCM Repository
[smlnj] Diff of /sml/branches/rt-transition/system/Basis/Implementation/IO/bin-io.sml
Diff of /sml/branches/rt-transition/system/Basis/Implementation/IO/bin-io.sml
Parent Directory
|
Revision Log
|
Patch
20 |
|
|
21 |
structure PIO = OSPrimIO.PrimIO |
structure PIO = OSPrimIO.PrimIO |
22 |
structure A = Word8Array |
structure A = Word8Array |
23 |
|
structure AS = Word8ArraySlice |
24 |
structure V = Word8Vector |
structure V = Word8Vector |
25 |
|
structure VS = Word8VectorSlice |
26 |
structure Pos = Position |
structure Pos = Position |
27 |
|
|
28 |
(* an element for initializing buffers *) |
(* an element for initializing buffers *) |
54 |
(* end case *) |
(* end case *) |
55 |
end |
end |
56 |
**) |
**) |
57 |
val vecExtract = V.extract |
val vecExtract = VS.vector o VS.slice |
58 |
val vecSub = V.sub |
val vecSub = V.sub |
59 |
val arrUpdate = A.update |
val arrUpdate = A.update |
60 |
val empty = V.fromList[] |
val empty = V.fromList[] |
428 |
case !bufferMode |
case !bufferMode |
429 |
of IO.NO_BUF => writeDirect () |
of IO.NO_BUF => writeDirect () |
430 |
| _ => let |
| _ => let |
431 |
fun copyVec (src, srcI, srcLen, dst, dstI) = A.copyVec { |
fun copyVec (src, srcI, srcLen, dst, dstI) = |
432 |
src = src, si = srcI, len = SOME srcLen, |
AS.copyVec { src = VS.slice (src, srcI, SOME srcLen), |
433 |
dst = dst, di = dstI |
dst = dst, di = dstI } |
|
} |
|
434 |
in |
in |
435 |
insert copyVec |
insert copyVec |
436 |
end |
end |
|
Legend:
Removed from v.1349 |
|
changed lines |
|
Added in v.1350 |
|
|