-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathio.ps
More file actions
53 lines (43 loc) · 1.08 KB
/
io.ps
File metadata and controls
53 lines (43 loc) · 1.08 KB
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
50
51
52
53
import { print_char, eprint_char, getchar } from "@intrinsics";
import { exit } from "stdlib/process.ps";
import { String, ToString } from "stdlib/string.ps";
fn print<T: ToString>(data: T) {
let string = [T as ToString].to_string(data);
for (let i = 0; i < string.length(); i += 1) {
print_char(string.get(i));
}
}
fn println<T: ToString>(data: T) {
print(data);
print_char('\n');
}
fn eprint<T: ToString>(data: T) {
let string = [T as ToString].to_string(data);
for (let i = 0; i < string.length(); i += 1) {
eprint_char(string.get(i));
}
}
fn eprintln<T: ToString>(data: T) {
eprint(data);
eprint_char('\n');
}
fn panic<T: ToString>(data: T): never {
eprintln(data);
exit(1);
}
fn unreachable<T: ToString>(data: T): never {
panic(data);
}
fn read_char(): char {
getchar()
}
fn read_line(): String {
let s = String.new();
while (true) {
let c = getchar();
if (c == '\n') { break; };
s.push(c);
}
s
}
export { print, eprint, println, eprintln, panic, unreachable, read_char, read_line };