aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/js/loop.jvm.lux
blob: 9315508e85d9c2bad938863f2eef9c412fee799e (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
(.module:
  lux
  (lux (control [monad #+ do])
       (data [text]
             text/format
             (coll [list "list/" Functor<List>]))
       [macro])
  (luxc [lang]
        (lang ["ls" synthesis]))
  [//]
  (// [".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"))
     initsJS+ (monad.map @ translate initsS+)
     bodyJS (//.with-anchor [loop-name offset]
              (translate bodyS))
     #let [registersJS+ (|> (list.n/range +0 (n/dec (list.size initsS+)))
                            (list/map (|>> (n/+ offset) referenceT.variable)))]]
    (wrap (format "(function " loop-name "(" (text.join-with "," registersJS+) ") {"
                  "return " bodyJS ";"
                  "})(" (text.join-with "," initsJS+) ")"))))

(def: #export (translate-recur translate argsS+)
  (-> (-> ls.Synthesis (Meta //.Expression)) (List ls.Synthesis)
      (Meta //.Expression))
  (do macro.Monad<Meta>
    [[loop-name offset] //.anchor
     argsJS+ (monad.map @ translate argsS+)]
    (wrap (format loop-name "(" (text.join-with "," argsJS+) ")"))))