De-taggification | part 4

1 files changed, 17 insertions, 17 deletions

diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 9a622da03..2255774f8 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -1,23 +1,23 @@
 (.module:
   [library
    [lux {"-" [Type int char try]}
-    ["." ffi {"+" [import: do_to]}]
+    ["[0]" ffi {"+" [import: do_to]}]
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." maybe]
-     ["." try]
+     ["[0]" function]
+     ["[0]" maybe]
+     ["[0]" try]
      ["p" parser
       ["s" code]]]
     [data
-     ["." product]
+     ["[0]" product]
      [collection
-      ["." list ("#@." functor)]]]
+      ["[0]" list ("[1]@[0]" functor)]]]
     [macro
      [syntax {"+" [syntax:]}]
-     ["." code]
-     ["." template]]
+     ["[0]" code]
+     ["[0]" template]]
     [math
      [number
       ["n" nat]
@@ -25,16 +25,16 @@
     [target
      [jvm
       [encoding
-       ["." name {"+" [External]}]]
-      ["." type {"+" [Type]} ("#@." equivalence)
+       ["[0]" name {"+" [External]}]]
+      ["[0]" type {"+" [Type]} ("[1]@[0]" equivalence)
        [category {"+" [Void Value Return Method Primitive Object Class Array Var Parameter]}]
-       ["." box]
-       ["." descriptor]
-       ["." reflection]]]]
+       ["[0]" box]
+       ["[0]" descriptor]
+       ["[0]" reflection]]]]
     [tool
      [compiler
       [phase {"+" [Operation]}]]]]]
-  ["." // {"+" [Inst]}])
+  ["[0]" // {"+" [Inst]}])
 
 (def: class_name (|>> type.descriptor descriptor.class_name name.read))
 (def: descriptor (|>> type.descriptor descriptor.descriptor))
@@ -50,7 +50,7 @@
       in))
 
 (`` (import: org/objectweb/asm/Opcodes
-      ["#::."
+      ["[1]::[0]"
        ("static" NOP int)
 
        ... Conversion
@@ -126,11 +126,11 @@
       ))
 
 (import: org/objectweb/asm/Label
-  ["#::."
+  ["[1]::[0]"
    (new [])])
 
 (import: org/objectweb/asm/MethodVisitor
-  ["#::."
+  ["[1]::[0]"
    (visitCode [] void)
    (visitMaxs [int int] void)
    (visitEnd [] void)