start work on interpreter

janet/interpreter.janet

@@ -0,0 +1,54 @@
+# A tree walk interpreter for ludus
+
+(var interpret nil)
+
+(defn- iff [ast ctx]
+  (def [condition then else] (ast :data))
+  (if (interpret condition ctx)
+    (interpret then ctx)
+    (interpret else ctx)))
+
+(defn- script [ast ctx]
+  (print "interpreting script")
+  (def lines (ast :data))
+  (var result nil)
+  (each line lines
+    (print "interpreting script line")
+    (set result (interpret line ctx)))
+  result)
+
+(defn- interpret* [ast ctx]
+  (print "interpreting ast node " (ast :type))
+  (case (ast :type)
+    :nil nil
+    :number (ast :data)
+    :bool (ast :data)
+    :string (ast :data)
+    :keyword (ast :data)
+    :if (iff ast ctx)
+    :script (script ast ctx)))
+
+(set interpret interpret*)
+
+# repl
+(try (os/cd "janet") ([_] nil))
+(import ./scanner :as s)
+(import ./parser :as p)
+(import ./validate :as v) 
+
+(var source nil)
+
+(defn run []
+  (def scanned (s/scan source))
+  (def parsed (p/parse scanned))
+  (def validated (v/valid parsed))
+  (pp parsed)
+  (interpret (parsed :ast) @{}))
+
+
+(do 
+(set source `
+if false then :bar else :baz
+`)
+(run)
+)

janet/parser.janet

@@ -1,7 +1,7 @@
 ### A recursive descent parser for Ludus
 
 ### We still need to scan some things
-#(os/cd "janet") # when in repl to do relative imports
+(try (os/cd "janet") ([_] nil)) # when in repl to do relative imports
 (import ./scanner :as s)
 
 (defmacro declare
@@ -1090,8 +1090,8 @@
 )
 
 
-(do
-#(comment
+# (do
+(comment
 (def source `
 loop (1, 2) with (x, y) -> :bar
 `)

janet/validate.janet

@@ -21,9 +21,9 @@ Imports are for a later iteration of Ludus:
 * [ ] correct imports DEFERRED
 )
 
-
-(import ./recursive :as p)
+(try (os/cd "janet") ([_] nil))
 (import ./scanner :as s)
+(import ./parser :as p)
 
 (defn- new-validator [parser]
  (def ast (parser :ast))
@@ -583,8 +583,12 @@ Imports are for a later iteration of Ludus:
 
 (set validate validate*)
 
-(do
-#(comment
+(defn valid [ast]
+ (def validator (new-validator ast))
+ (validate validator))
+
+# (do
+(comment
 (def source `
 fn bar () -> :bar
 fn foo () -> match :foo with {
@@ -594,8 +598,4 @@ fn foo () -> match :foo with {
 `)
 (def scanned (s/scan source))
 (def parsed (p/parse scanned))
-(def validator (new-validator parsed))
-(pp validator)
-(validate validator) 
-(pp parsed)
-)
+(valid parsed))