De-taggification | part 4

1 files changed, 7 insertions, 7 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 1583cbed3..7d037280d 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -2,30 +2,30 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [data
      [collection
-      ["." list ("#@." functor monoid)]]]
+      ["[0]" list ("[1]@[0]" functor monoid)]]]
     [math
      [number
       ["n" nat]]]
     [tool
      [compiler
-      ["." phase]
+      ["[0]" phase]
       [reference
        [variable {"+" [Register]}]]
       [language
        [lux
-        ["." synthesis {"+" [Synthesis]}]
-        ["." generation]]]]]]]
+        ["[0]" synthesis {"+" [Synthesis]}]
+        ["[0]" generation]]]]]]]
   [luxc
    [lang
     [host
      [jvm {"+" [Inst Operation Phase Generator]}
       ["_" inst]]]]]
-  ["." //])
+  ["[0]" //])
 
 (def: (invariant? expected actual)
   (-> Register Synthesis Bit)