blob: b1f18a8adb2b996fc5aa269c353f070dd77ff253 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
<?php
require_once 'readline.php';
require_once 'types.php';
require_once 'reader.php';
require_once 'printer.php';
// read
function READ($str) {
return read_str($str);
}
// eval
function MAL_EVAL($ast, $env) {
return $ast;
}
// print
function MAL_PRINT($exp) {
return _pr_str($exp, True);
}
// repl
function rep($str) {
return MAL_PRINT(MAL_EVAL(READ($str), array()));
}
// repl loop
do {
try {
$line = mal_readline("user> ");
if ($line === NULL) { break; }
if ($line !== "") {
print(rep($line) . "\n");
}
} catch (BlankException $e) {
continue;
} catch (Exception $e) {
echo "Error: " . $e->getMessage() . "\n";
echo $e->getTraceAsString() . "\n";
}
} while (true);
?>
|
