blob: 20dd450770d804d3f4ea8a870c58bc88fb0806b6 (
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
|
require "readline"
require "types"
require "reader"
require "printer"
# read
def READ(str)
return read_str(str)
end
# eval
def EVAL(ast, env)
return ast
end
# print
def PRINT(exp)
return _pr_str(exp, true)
end
# repl
def REP(str)
return PRINT(EVAL(READ(str), {}))
end
while line = Readline.readline("user> ", true)
begin
puts REP(line)
rescue Exception => e
puts "Error: %{e}"
end
end
|