twc/ludus
4
0
Fork 0
Code Issues 32 Pull Requests Packages Projects 8 Releases Wiki Activity

Interpret loop/recur

Browse Source
This commit is contained in:
Scott Richmond 2022-05-18 19:35:41 -04:00
parent b62fa6d074
commit a5914076b0
1 changed files with 35 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
src/ludus/interpreter.clj
View File

@ -248,9 +248,8 @@
{::data/struct true ::data/type ::data/ns ::data/name name}
(map-values #(interpret-ast % ctx))
members)]
(do
(vswap! ctx update-ctx {name ns})
ns)))))
ns))))
(defn- interpret-import [ast ctx]
(let [path (:path ast)
@ -277,6 +276,33 @@
(vswap! ctx update-ctx {name ref})
ref)))
(defn- interpret-loop [ast ctx]
(let [tuple (interpret-ast (:expr ast) ctx)
clauses (:clauses ast)]
(loop [input tuple]
(let [output (loop [clause (first clauses)
clauses (rest clauses)]
(if clause
(let [pattern (:pattern clause)
body (:body clause)
new-ctx (volatile! {::parent ctx})
match? (match pattern input new-ctx)
success (:success match?)
clause-ctx (:ctx match?)]
(if success
(do
(vswap! new-ctx #(merge % clause-ctx))
(interpret-ast body new-ctx))
(recur (first clauses) (rest clauses))))
(throw (ex-info (str "Match Error: No match found in loop for " input) {}))))]
(if (::data/recur output)
(recur (:tuple output))
output
))
))
)
(defn interpret-ast [ast ctx]
(case (::ast/type ast)
@ -306,6 +332,11 @@
::ast/ref (interpret-ref ast ctx)
::ast/recur
{::data/recur true :tuple (interpret-ast (:tuple ast) ctx)}
::ast/loop (interpret-loop ast ctx)
::ast/block
(let [exprs (:exprs ast)
inner (pop exprs)
@ -366,15 +397,10 @@
(println (ex-message e))
(pp/pprint (ex-data e)))))
(do
(comment
(def source "
ref foo = nil
ref bar = nil
eq (foo, bar)
")
(println "")