blob: e4da02c2a5a3de3c0ce84734908466668da7997a (
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
33
34
35
|
(.module:
lux
(lux (control [monad #+ do])
(data [text]
text/format
(coll [list "list/" Functor<List>]))
[macro])
(luxc [lang]
(lang ["ls" synthesis]
(host [ruby #+ Ruby Expression Statement])))
[//]
(// [".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 (:: @ map (|>> %code lang.normalize-name)
(macro.gensym "loop"))
initsO+ (monad.map @ translate initsS+)
bodyO (//.with-anchor [loop-name offset]
(translate bodyS))
#let [registersO+ (|> (list.n/range +0 (n/dec (list.size initsS+)))
(list/map (|>> (n/+ offset) referenceT.variable)))]
_ (//.save (ruby.function! loop-name registersO+
(ruby.return! bodyO)))]
(wrap (ruby.apply loop-name initsO+))))
(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 (ruby.apply loop-name argsO+))))
|
