1 files changed, 33 insertions, 0 deletions
diff --git a/stdlib/source/lux/compiler/default/phase/translation/scheme/structure.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/structure.jvm.lux
new file mode 100644
index 000000000..3991ea281
--- /dev/null
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/structure.jvm.lux
@@ -0,0 +1,33 @@
+(.module:
+  [lux #*
+   [control
+    ["." monad (#+ do)]]]
+  [//
+   ["." runtime (#+ Operation Phase)]
+   ["." primitive]
+   ["." ///
+    [analysis (#+ Variant Tuple)]
+    ["." synthesis (#+ Synthesis)]
+    [///
+     [host
+      ["_" scheme (#+ Expression)]]]]])
+
+(def: #export (tuple translate elemsS+)
+  (-> Phase (Tuple Synthesis) (Operation Expression))
+  (case elemsS+
+    #.Nil
+    (primitive.text synthesis.unit)
+
+    (#.Cons singletonS #.Nil)
+    (translate singletonS)
+
+    _
+    (do ///.Monad<Operation>
+      [elemsT+ (monad.map @ translate elemsS+)]
+      (wrap (_.vector/* elemsT+)))))
+
+(def: #export (variant translate [lefts right? valueS])
+  (-> Phase (Variant Synthesis) (Operation Expression))
+  (do ///.Monad<Operation>
+    [valueT (translate valueS)]
+    (wrap (runtime.variant [lefts right? valueT]))))