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))))
|
