De-taggification | part 4

1 files changed, 14 insertions, 14 deletions

diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux
index 053c59e3f..78ce1854d 100644
--- a/stdlib/source/library/lux/target/jvm/attribute.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute.lux
@@ -3,27 +3,27 @@
    [lux {"-" [Info Code]}
     [abstract
      [monad {"+" [do]}]
-     ["." equivalence {"+" [Equivalence]}]]
+     ["[0]" equivalence {"+" [Equivalence]}]]
     [control
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." sum]
-     ["." product]
+     ["[0]" sum]
+     ["[0]" product]
      [format
-      [".F" binary {"+" [Writer]}]]]
+      ["[0]F" binary {"+" [Writer]}]]]
     [math
      [number
       ["n" nat]]]]]
-  ["." // "_"
-   ["#." index {"+" [Index]}]
+  ["[0]" // "_"
+   ["[1][0]" index {"+" [Index]}]
    [encoding
-    ["#." unsigned {"+" [U2 U4]}]]
-   ["#." constant {"+" [UTF8 Class Value]}
-    ["#/." pool {"+" [Pool Resource]}]]]
-  ["." / "_"
-   ["#." constant {"+" [Constant]}]
-   ["#." code]])
+    ["[1][0]" unsigned {"+" [U2 U4]}]]
+   ["[1][0]" constant {"+" [UTF8 Class Value]}
+    ["[1]/[0]" pool {"+" [Pool Resource]}]]]
+  ["[0]" / "_"
+   ["[1][0]" constant {"+" [Constant]}]
+   ["[1][0]" code]])
 
 (type: .public (Info about)
   (Record