From e4bc4d0e2cd14a955530160c4fc7859e6c46874e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 3 Feb 2022 05:55:42 -0400
Subject: Fixes for the pure-Lux JVM compiler machinery. [Part 13 / Done!]

---
 .../source/luxc/lang/translation/jvm/runtime.lux   | 87 +++++++++++-----------
 1 file changed, 44 insertions(+), 43 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/runtime.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index cec04d529..ee3e16ed8 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -1,45 +1,46 @@
 (.using
-  [library
-   [lux {"-" Type Label Primitive try}
-    [abstract
-     [monad {"+" do}]
-     ["[0]" enum]]
-    [data
-     [binary {"+" Binary}]
-     ["[0]" product]
-     [text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" list ("[1]@[0]" functor)]
-      ["[0]" sequence]
-      ["[0]" set]]]
-    ["[0]" math
-     [number
-      ["n" nat]]]
-    [target
-     [jvm
-      ["[0]" type {"+" Type}
-       ["[0]" category {"+" Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method}]
-       ["[0]" reflection]]]]
-    [tool
-     [compiler
-      [arity {"+" Arity}]
-      ["[0]" phase]
-      [language
-       [lux
-        ["[0]" synthesis]
-        ["[0]" generation]]]
-      [meta
-       [archive {"+" Output}
-        ["[0]" artifact]
-        ["[0]" registry {"+" Registry}]]]]]]]
-  [luxc
-   [lang
-    [host
-     ["$" jvm {"+" Label Inst Def Operation}
-      ["$d" def]
-      ["_" inst]]]]]
-  ["[0]" // {"+" ByteCode}])
+ [library
+  [lux {"-" Type Label Primitive try}
+   [abstract
+    [monad {"+" do}]
+    ["[0]" enum]]
+   [data
+    [binary {"+" Binary}]
+    ["[0]" product]
+    [text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list ("[1]@[0]" functor)]
+     ["[0]" sequence]
+     ["[0]" set]]]
+   ["[0]" math
+    [number
+     ["n" nat]]]
+   [target
+    [jvm
+     ["[0]" type {"+" Type}
+      ["[0]" category {"+" Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method}]
+      ["[0]" reflection]]]]
+   [tool
+    [compiler
+     [arity {"+" Arity}]
+     ["[0]" phase]
+     [language
+      [lux
+       ["[0]" synthesis]
+       ["[0]" generation]]]
+     [meta
+      [archive {"+" Output}
+       ["[0]" artifact]
+       ["[0]" registry {"+" Registry}]
+       ["[0]" unit]]]]]]]
+ [luxc
+  [lang
+   [host
+    ["$" jvm {"+" Label Inst Def Operation}
+     ["$d" def]
+     ["_" inst]]]]]
+ ["[0]" // {"+" ByteCode}])
 
 (def: $Text (type.class "java.lang.String" (list)))
 (def: .public $Lefts type.int)
@@ -414,9 +415,9 @@
      ... function_payload ..translate_function
      ]
     (in [(|> registry.empty
-             (registry.resource true artifact.no_dependencies)
+             (registry.resource true unit.none)
              product.right
-             ... (registry.resource true artifact.no_dependencies)
+             ... (registry.resource true unit.none)
              ... product.right
              )
          (sequence.sequence runtime_payload
-- 
cgit v1.2.3