- Moved all translation code under the JVM path (in preparation for porting the JS back-end).

1 files changed, 49 insertions, 0 deletions

diff --git a/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux
new file mode 100644
index 000000000..6776092c9
--- /dev/null
+++ b/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux
@@ -0,0 +1,49 @@
+(.module:
+  lux
+  (lux (control [monad #+ do])
+       (data [text "text/" Hash<Text>]
+             text/format)
+       [macro "macro/" Monad<Meta>])
+  (luxc ["&" lang]
+        (lang [".L" host]
+              (host ["$" jvm]
+                    (jvm ["$t" type]
+                         ["$i" inst]))
+              ["ls" synthesis]
+              [".L" variable #+ Variable]))
+  (// [".T" common]))
+
+(do-template [<name> <prefix>]
+  [(def: #export (<name> idx)
+     (-> Nat Text)
+     (|> idx nat-to-int %i (format <prefix>)))]
+
+  [captured "c"]
+  [partial  "p"]
+  )
+
+(def: #export (translate-captured variable)
+  (-> Variable (Meta $.Inst))
+  (do macro.Monad<Meta>
+    [this-module macro.current-module-name
+     function-class hostL.context
+     #let [function-class (format (text.replace-all "/" "." this-module) "." function-class)]]
+    (wrap (|>> ($i.ALOAD +0)
+               ($i.GETFIELD function-class
+                            (|> variable i/inc (i/* -1) int-to-nat captured)
+                            commonT.$Object)))))
+
+(def: #export (translate-local variable)
+  (-> Variable (Meta $.Inst))
+  (macro/wrap ($i.ALOAD (int-to-nat variable))))
+
+(def: #export (translate-variable variable)
+  (-> Variable (Meta $.Inst))
+  (if (variableL.captured? variable)
+    (translate-captured variable)
+    (translate-local variable)))
+
+(def: #export (translate-definition [def-module def-name])
+  (-> Ident (Meta $.Inst))
+  (let [bytecode-name (format def-module "/" (&.normalize-name def-name) (%n (text/hash def-name)))]
+    (macro/wrap ($i.GETSTATIC bytecode-name commonT.value-field commonT.$Object))))