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

---
 lux-jvm/source/luxc/lang/translation/jvm/loop.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

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)
-- 
cgit v1.2.3