aboutsummaryrefslogtreecommitdiff
path: root/lux-r/source/luxc/lang/translation/r/reference.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'lux-r/source/luxc/lang/translation/r/reference.jvm.lux')
-rw-r--r--lux-r/source/luxc/lang/translation/r/reference.jvm.lux42
1 files changed, 42 insertions, 0 deletions
diff --git a/lux-r/source/luxc/lang/translation/r/reference.jvm.lux b/lux-r/source/luxc/lang/translation/r/reference.jvm.lux
new file mode 100644
index 000000000..7de1c74ee
--- /dev/null
+++ b/lux-r/source/luxc/lang/translation/r/reference.jvm.lux
@@ -0,0 +1,42 @@
+(.module:
+ lux
+ (lux [macro]
+ (data [text]
+ text/format))
+ (luxc ["&" lang]
+ (lang [".L" variable #+ Variable Register]
+ (host [r #+ Expression SVar @@])))
+ [//]
+ (// [".T" runtime]))
+
+(template [<register> <translation> <prefix>]
+ [(def: #export (<register> register)
+ (-> Register SVar)
+ (r.var (format <prefix> (%i (.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 (.nat var))))
+
+(def: #export (translate-variable var)
+ (-> Variable (Meta Expression))
+ (if (variableL.captured? var)
+ (translate-captured (variableL.captured-register var))
+ (translate-local (.nat var))))
+
+(def: #export global
+ (-> Name SVar)
+ (|>> //.definition-name r.var))
+
+(def: #export (translate-definition name)
+ (-> Name (Meta Expression))
+ (:: macro.Monad<Meta> wrap (@@ (global name))))