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/structure.lux | 26 +++++++++++-----------
 1 file changed, 13 insertions(+), 13 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index a8c117f6e..2a688f4cc 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,29 +1,29 @@
 (.module:
   [library
    [lux {"-" [Type]}
-    ["." ffi {"+" [import:]}]
+    ["[0]" ffi {"+" [import:]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [data
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [math
      [number
       ["n" nat]
       ["i" int]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
-       ["." descriptor {"+" [Descriptor]}]
-       ["." signature {"+" [Signature]}]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" descriptor {"+" [Descriptor]}]
+       ["[0]" signature {"+" [Signature]}]]]]
     [tool
      [compiler
-      ["." phase]
+      ["[0]" phase]
       [meta
        [archive {"+" [Archive]}]]
       [language
@@ -34,8 +34,8 @@
     [host
      [jvm {"+" [Inst Operation Phase Generator]}
       ["_" inst]]]]]
-  ["." //
-   ["#." runtime]])
+  ["[0]" //
+   ["[1][0]" runtime]])
 
 (exception: .public (not_a_tuple {size Nat})
   (exception.report
@@ -63,12 +63,12 @@
              membersI))))
 
 (import: java/lang/Byte
-  ["#::."
+  ["[1]::[0]"
    ("static" MAX_VALUE byte)
    ("static" MIN_VALUE byte)])
 
 (import: java/lang/Short
-  ["#::."
+  ["[1]::[0]"
    ("static" MAX_VALUE short)
    ("static" MIN_VALUE short)])
 
-- 
cgit v1.2.3