Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val tmp = "tmp" |
2 | ||
3 | val () = | |
4 | let | |
5 | open TextIO | |
6 | val out = openOut tmp | |
7 | val () = output (out, "hello, there\n") | |
8 | val () = closeOut out | |
9 | in | |
10 | () | |
11 | end | |
12 | ||
13 | val () = | |
14 | let | |
15 | open Posix | |
16 | open FileSys | |
17 | val fd = openf (tmp, O_WRONLY, O.flags []) | |
18 | val () = ftruncate (fd, 5) | |
19 | val () = IO.close fd | |
20 | in | |
21 | () | |
22 | end | |
23 | ||
24 | val () = | |
25 | let | |
26 | open TextIO | |
27 | val ins = openIn tmp | |
28 | val () = print (TextIO.inputAll ins) | |
29 | val () = print "\n" | |
30 | val () = closeIn ins | |
31 | in | |
32 | () | |
33 | end | |
34 | ||
35 | val () = OS.FileSys.remove tmp |