aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/r/reference.jvm.lux
blob: e6306695985d02c8194e1060970212b71efd3171 (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
36
37
38
39
40
41
42
(.module:
  lux
  (lux [macro]
       (data [text]
             text/format))
  (luxc ["&" lang]
        (lang [".L" variable #+ Variable Register]
              (host [r #+ Expression SVar @@])))
  [//]
  (// [".T" runtime]))

(do-template [<register> <translation> <prefix>]
  [(def: #export (<register> register)
     (-> Register SVar)
     (r.var (format <prefix> (%i (nat-to-int register)))))
   
   (def: #export (<translation> register)
     (-> Register (Meta Expression))
     (:: macro.Monad<Meta> wrap (@@ (<register> register))))]

  [closure  translate-captured "c"]
  [variable translate-local    "v"])

(def: #export (local var)
  (-> Variable SVar)
  (if (variableL.captured? var)
    (closure (variableL.captured-register var))
    (variable (int-to-nat var))))

(def: #export (translate-variable var)
  (-> Variable (Meta Expression))
  (if (variableL.captured? var)
    (translate-captured (variableL.captured-register var))
    (translate-local (int-to-nat var))))

(def: #export global
  (-> Ident SVar)
  (|>> //.definition-name r.var))

(def: #export (translate-definition name)
  (-> Ident (Meta Expression))
  (:: macro.Monad<Meta> wrap (@@ (global name))))