Can now compile complex values (i.e. variants & tuples) in C++.

2 files changed, 55 insertions, 1 deletions

diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux
index ba39fe79e..d9af04496 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux
@@ -31,7 +31,8 @@
     ["[1]/[0]" host]
     ["[1]/[0]" primitive]
     ["[1]/[0]" type]
-    ["[1]/[0]" value]]]])
+    ["[1]/[0]" value]
+    ["[1]/[0]" runtime]]]])
 
 (def (injection value)
   (All (_ of)
@@ -219,4 +220,5 @@
            /translation/jvm/primitive.test
            /translation/jvm/type.test
            /translation/jvm/value.test
+           /translation/jvm/runtime.test
            )))
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux
new file mode 100644
index 000000000..97035f3c5
--- /dev/null
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux
@@ -0,0 +1,52 @@
+(.require
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]]
+   [control
+    ["[0]" io]
+    ["[0]" try]]
+   [math
+    ["[0]" random (.only Random)]]
+   [meta
+    [type
+     ["[0]" check]]]
+   [test
+    ["_" property (.only Test)]]]]
+ [\\library
+  ["[0]" / (.only)
+   [//
+    ["[0]" host]
+    [////
+     ["[0]" phase]
+     ["[0]" translation]]]]])
+
+(def .public test
+  Test
+  (<| (_.covering /._)
+      (do [! random.monad]
+        [module (random.lower_cased 1)])
+      (`` (all _.and
+               (,, (with_template [</> <//>]
+                     [(_.coverage [</>]
+                        (check.subsumes? </> <//>))]
+
+                     [/.State translation.State]
+                     [/.Operation translation.Operation]
+                     [/.Phase translation.Phase]
+                     [/.Handler translation.Handler]
+                     [/.Bundle translation.Bundle]
+                     [/.Extender translation.Extender]
+                     ))
+               (_.coverage [/.translation]
+                 (let [[_ host] (io.run! host.host)
+                       state (is /.State
+                                 (translation.state host module))]
+                   (|> (do try.monad
+                         [_ (phase.result state
+                                          (do phase.monad
+                                            [_ (translation.set_buffer translation.empty_buffer)]
+                                            /.translation))]
+                         (in true))
+                       (try.else false))))
+               ))))