equal
deleted
inserted
replaced
191 struct |
191 struct |
192 open Time; |
192 open Time; |
193 fun fmt a b = Time.fmt (dest_int a) b; |
193 fun fmt a b = Time.fmt (dest_int a) b; |
194 end; |
194 end; |
195 |
195 |
196 |
|
197 (* Posix *) |
|
198 |
|
199 structure Posix = |
|
200 struct |
|
201 open Posix; |
|
202 structure IO = |
|
203 struct |
|
204 open IO; |
|
205 fun mkTextWriter {appendMode, chunkSize, fd, initBlkMode, name} = |
|
206 IO.mkTextWriter {appendMode = appendMode, chunkSize = dest_int chunkSize, |
|
207 fd = fd, initBlkMode = initBlkMode, name = name}; |
|
208 end; |
|
209 end; |
|
210 |
|