diff options
| author | 2026-10-15 09:42:25 +0330 | |
|---|---|---|
| committer | 2026-10-15 09:42:25 +0330 | |
| commit | de4da84ca3159ad0ebcf13729716be5f4d7bbc2a (patch) | |
| tree | 216f00007206fdc15dccd3327884b4c0dad94446 /tests/programs/stdio.zc | |
| parent | xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and x... (diff) | |
std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, getline) with test, learn example and docs
Diffstat (limited to 'tests/programs/stdio.zc')
| -rw-r--r-- | tests/programs/stdio.zc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/programs/stdio.zc b/tests/programs/stdio.zc new file mode 100644 index 0000000..5a79262 --- /dev/null +++ b/tests/programs/stdio.zc @@ -0,0 +1,18 @@ +include rt, std; + +// std.Io: the writers, a capture of them, and the line reader over program input. +fn main() { + std.Io.print("hi "); std.Io.put_n(-42); std.Io.put_c(32); std.Io.put_f(2.5); std.Io.nl(); + std.Io.println("line"); std.Io.put_bs(b"bytes"); std.Io.put_c(32); std.Io.put_hex(255); + std.Io.put_c(32); std.Io.put_s("s"); std.Io.nl(); + let cap = std.capture.start(); + std.Io.print("caught "); std.Io.put_n(7); + std.capture.end(cap); + std.Io.put_n(std.Text.len(cap)); std.Io.put_c(32); std.Io.println(cap); + char[32] buf; int n = std.Io.getline(buf, 32); + std.Io.put_n(n); std.Io.print(":"); std.Io.println(buf); + n = std.Io.getline(buf, 4); std.Io.put_n(n); std.Io.print(":"); std.Io.println(buf); + n = std.Io.read(buf, 32); std.Io.put_n(n); std.Io.put_c(32); std.Io.put_n(buf[0]); std.Io.nl(); + n = std.Io.getline(buf, 32); std.Io.put_n(n); std.Io.put_c(32); std.Io.put_n(std.Io.eof()); std.Io.nl(); + return 0; +} |
