blob: d9e5081937c9c51fdea5b9e972ea12f11319a2a7 (
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 [macro]
(data [text]
text/format))
(luxc ["&" lang]
(lang [".L" variable #+ Variable Register]))
[//]
(// [".T" runtime]))
(do-template [<register> <translation> <prefix>]
[(def: #export (<register> register)
(-> Register //.Expression)
(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 (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 //.Expression)
//.definition-name)
(def: #export (translate-definition name)
(-> Ident (Meta //.Expression))
(:: macro.Monad<Meta> wrap (global name)))
|
