blob: 7485eb086c4fe9ca6a97f64cffbe96f619cad686 (
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
|
import reader.tokenize
object step1_read_print {
// read
def READ(str: String): Any = {
reader.read_str(str)
}
// eval
def EVAL(ast: Any, env: String): Any = {
ast
}
// print
def PRINT(exp: Any): String = {
printer._pr_str(exp, true)
}
// repl
def main(args: Array[String]) = {
val REP = (str: String) => {
PRINT(EVAL(READ(str), ""))
}
var line:String = null
while ({line = readLine("user> "); line != null}) {
try {
println(REP(line))
} catch {
case e : Exception => {
println("Error: " + e.getMessage)
println(" " + e.getStackTrace.mkString("\n "))
}
}
}
}
}
// vim: ts=2:sw=2
|