From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 22:50:21 -0400
Subject: De-taggification | part 4

---
 .../source/luxc/lang/translation/jvm/runtime.lux   | 26 +++++++++++-----------
 1 file changed, 13 insertions(+), 13 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 c351dd21c..8deac8430 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -3,41 +3,41 @@
    [lux {"-" [Type Label try]}
     [abstract
      [monad {"+" [do]}]
-     ["." enum]]
+     ["[0]" enum]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#@." functor)]
-      ["." row]]]
-    ["." math
+      ["[0]" list ("[1]@[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" math
      [number
       ["n" nat]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
-       ["." reflection]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" reflection]]]]
     [tool
      [compiler
       [arity {"+" [Arity]}]
-      ["." phase]
+      ["[0]" phase]
       [language
        [lux
-        ["." synthesis]
-        ["." generation]]]
+        ["[0]" synthesis]
+        ["[0]" generation]]]
       [meta
        [archive {"+" [Output]}
-        ["." artifact {"+" [Registry]}]]]]]]]
+        ["[0]" artifact {"+" [Registry]}]]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Def Operation]}
       ["$d" def]
       ["_" inst]]]]]
-  ["." // {"+" [ByteCode]}])
+  ["[0]" // {"+" [ByteCode]}])
 
 (def: $Text (type.class "java.lang.String" (list)))
 (def: .public $Lefts type.int)
-- 
cgit v1.2.3