blob: e644a874a7e1571abcac60cd889ad33406b80267 (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
use "alloc.use"
use "die.use"
use "result.use"
use "extremum.use"
use "syswrap.use"
use "errno.use"
use "types.use"
pkg std =
const slurp : (path : byte[:] -> result(byte[:], errno))
const fslurp : (path : fd -> result(byte[:], errno))
;;
const Bufstart = 4096
const slurp = {path
var sl
match open(path, Ordonly)
| `Fail e: -> `Fail e
| `Ok fd:
sl = fslurp(fd)
close(fd)
-> sl
;;
}
const fslurp = {fd
var len, bufsz
var buf
len = 0
bufsz = Bufstart
buf = slalloc(bufsz)
while true
match read(fd, buf[len:])
| `Ok 0:
-> `Ok buf[:len]
| `Ok n:
len += n
if len + 2*n >= bufsz
bufsz *= 2
buf = slgrow(buf, bufsz)
;;
| `Fail e:
-> `Fail e
;;
;;
die("unreachable")
}
|
