blob: 3559c965df357117ec71429e92f39a66590d13dd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
use "errno"
use "result"
use "option"
use "syswrap"
use "types"
pkg std =
const writeall : (fd : fd, src : byte[:] -> (size, option(errno)))
;;
const writeall = {fd, src
var sz
sz = src.len
while src.len != 0
match std.write(fd, src)
| `Ok n:
src = src[n:]
| `Err e:
-> (sz - src.len, `Some e)
;;
;;
-> (sz, `None)
}
|