... / ...
Commit | Line | Data |
| 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: |
| 17 | READ | EVAL | PRINT; |
| 18 | |
| 19 | def repl_: |
| 20 | ("user> " | stderr) | |
| 21 | (read_line | rep); |
| 22 | |
| 23 | def repl: |
| 24 | while(true; repl_); |
| 25 | |
| 26 | repl |