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/step1_read_print.php | |
| parent | 718887c3019c49fc807bc18fbd5feb975ec03c85 (diff) | |
| download | mal-86b689f3d7111a9fa13da389a30f3dfdf877d1a4.tar.gz mal-86b689f3d7111a9fa13da389a30f3dfdf877d1a4.zip | |
All: *ARGV* and *host-language*. Misc syncing/fixes.
Diffstat (limited to 'php/step1_read_print.php')
| -rw-r--r-- | php/step1_read_print.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/php/step1_read_print.php b/php/step1_read_print.php index 808ea09..c9c5267 100644 --- a/php/step1_read_print.php +++ b/php/step1_read_print.php @@ -25,6 +25,7 @@ function rep($str) { return MAL_PRINT(MAL_EVAL(READ($str), array())); } +// repl loop do { try { $line = mal_readline("user> "); @@ -40,4 +41,4 @@ do { } } while (true); -?> +?> |
