diff options
author | Eduardo Julian | 2018-04-18 01:28:24 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-04-18 01:28:24 -0400 |
commit | 7d539a83fd55f7ced7657302054e099955b55ae2 (patch) | |
tree | 6aa50f8d58d87da48880569ed2f748e8bc014243 /new-luxc/source/luxc/lang/translation/scheme/loop.jvm.lux | |
parent | 6eb9cf17f161522d4eddf6783284952f8a84f099 (diff) |
- Initial Scheme back-end implementation.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/scheme/loop.jvm.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/scheme/loop.jvm.lux | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/translation/scheme/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/scheme/loop.jvm.lux new file mode 100644 index 000000000..ecaf12c7c --- /dev/null +++ b/new-luxc/source/luxc/lang/translation/scheme/loop.jvm.lux @@ -0,0 +1,37 @@ +(.module: + lux + (lux (control [monad #+ do]) + (data [text] + text/format + (coll [list "list/" Functor<List>])) + [macro]) + (luxc [lang] + (lang ["ls" synthesis] + (host [r #+ Expression @@]))) + [//] + (// [".T" reference])) + +(def: #export (translate-loop translate offset initsS+ bodyS) + (-> (-> ls.Synthesis (Meta Expression)) Nat (List ls.Synthesis) ls.Synthesis + (Meta Expression)) + (do macro.Monad<Meta> + [loop-name (|> (macro.gensym "loop") + (:: @ map (|>> %code lang.normalize-name))) + initsO+ (monad.map @ translate initsS+) + bodyO (//.with-anchor [loop-name offset] + (translate bodyS)) + #let [$loop-name (r.var loop-name) + @loop-name (@@ $loop-name)] + _ (//.save (r.set! $loop-name + (r.function (|> (list.n/range +0 (n/dec (list.size initsS+))) + (list/map (|>> (n/+ offset) referenceT.variable))) + bodyO)))] + (wrap (r.apply initsO+ @loop-name)))) + +(def: #export (translate-recur translate argsS+) + (-> (-> ls.Synthesis (Meta Expression)) (List ls.Synthesis) + (Meta Expression)) + (do macro.Monad<Meta> + [[loop-name offset] //.anchor + argsO+ (monad.map @ translate argsS+)] + (wrap (r.apply argsO+ (r.global loop-name))))) |