diff options
Diffstat (limited to 'php/step0_repl.php')
| -rw-r--r-- | php/step0_repl.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/php/step0_repl.php b/php/step0_repl.php index 64b086b..eecb052 100644 --- a/php/step0_repl.php +++ b/php/step0_repl.php @@ -22,6 +22,7 @@ function rep($str) { return MAL_PRINT(MAL_EVAL(READ($str), array())); } +// repl loop do { $line = mal_readline("user> "); if ($line === NULL) { break; } @@ -30,4 +31,4 @@ do { } } while (true); -?> +?> |