skew/step0_repl.sk

   1 def READ(str string) string {
   2   return str
   3 }
   4
   5 def EVAL(ast string, env StringMap<string>) string {
   6   return ast
   7 }
   8
   9 def PRINT(exp string) string {
  10   return exp
  11 }
  12
  13 def REP(str string) string {
  14   return PRINT(EVAL(READ(str), {}))
  15 }
  16
  17 @entry
  18 def main {
  19   var line string
  20   while (line = readLine("user> ")) != null {
  21     if line == "" { continue }
  22     printLn(REP(line))
  23   }
  24 }