diff options
| author | Joel Martin <github@martintribe.org> | 2014-04-19 13:04:09 -0500 |
|---|---|---|
| committer | Joel Martin <github@martintribe.org> | 2014-04-19 13:04:09 -0500 |
| commit | 86b689f3d7111a9fa13da389a30f3dfdf877d1a4 (patch) | |
| tree | d72b065f9f987e291f892ceee5a8640363bfd9df /php/step0_repl.php | |
| parent | 718887c3019c49fc807bc18fbd5feb975ec03c85 (diff) | |
| download | mal-86b689f3d7111a9fa13da389a30f3dfdf877d1a4.tar.gz mal-86b689f3d7111a9fa13da389a30f3dfdf877d1a4.zip | |
All: *ARGV* and *host-language*. Misc syncing/fixes.
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); -?> +?> |