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

---
 .../source/luxc/lang/translation/jvm/function.lux  | 26 +++++++++++-----------
 1 file changed, 13 insertions(+), 13 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 9cd5efdfb..2a202fbcd 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -2,47 +2,47 @@
   [library
    [lux {"-" [Type Label function]}
     [abstract
-     ["." monad {"+" [do]}]
-     ["." enum]]
+     ["[0]" monad {"+" [do]}]
+     ["[0]" enum]]
     [control
      [pipe {"+" [when> new>]}]
-     ["." function]]
+     ["[0]" function]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#@." functor monoid)]]]
+      ["[0]" list ("[1]@[0]" functor monoid)]]]
     [math
      [number
       ["n" nat]
       ["i" int]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]]]]
     [tool
      [compiler
       [arity {"+" [Arity]}]
-      ["." phase]
+      ["[0]" phase]
       [reference
        [variable {"+" [Register]}]]
       [language
        [lux
         [analysis {"+" [Environment]}]
         [synthesis {"+" [Synthesis Abstraction Apply]}]
-        ["." generation {"+" [Context]}]]]
+        ["[0]" generation {"+" [Context]}]]]
       [meta
        [archive {"+" [Archive]}]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Def Operation Phase Generator]}
-      ["." def]
+      ["[0]" def]
       ["_" inst]]]]]
-  ["." //
-   ["#." runtime]
-   ["." reference]])
+  ["[0]" //
+   ["[1][0]" runtime]
+   ["[0]" reference]])
 
 (def: arity_field Text "arity")
 
-- 
cgit v1.2.3