Commit | Line | Data |
---|---|---|
387caf0b A |
1 | |
2 | def read_line: | |
3 | . as $in | |
4 | | label $top | |
5 | | input; | |
6 | ||
7 | def READ: | |
8 | .; | |
9 | ||
10 | def EVAL: | |
11 | .; | |
12 | ||
13 | def PRINT: | |
14 | .; | |
15 | ||
16 | def rep: | |
4fdc0a03 | 17 | READ | EVAL | PRINT; |
387caf0b A |
18 | |
19 | def repl_: | |
4fdc0a03 A |
20 | ("user> " | stderr) | |
21 | (read_line | rep); | |
387caf0b A |
22 | |
23 | def repl: | |
24 | while(true; repl_); | |
25 | ||
26 | repl |