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/case.lux | 24 +++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index b8ef09945..a6d0a725f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -2,38 +2,38 @@
   [library
    [lux {"-" [Type Label if let case]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["ex" exception {"+" [exception:]}]]
     [data
      [collection
-      ["." list ("#@." mix)]]]
+      ["[0]" list ("[1]@[0]" mix)]]]
     [math
      [number
       ["n" nat]]]
     [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 ("operation@." monad)]
+      ["[0]" phase ("operation@[0]" monad)]
       [meta
        [archive {"+" [Archive]}]]
       [language
        [lux
-        ["." synthesis {"+" [Path Synthesis]}]]]]]]]
+        ["[0]" synthesis {"+" [Path Synthesis]}]]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Operation Phase Generator]}
       ["_" inst]]]]]
-  ["." //
-   ["." runtime]
-   ["." structure]])
+  ["[0]" //
+   ["[0]" runtime]
+   ["[0]" structure]])
 
 (def: (pop_altI stack_depth)
   (-> Nat Inst)
-- 
cgit v1.2.3