From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Sep 2021 12:49:52 -0400
Subject: De-taggification | part 2

---
 .../luxc/lang/translation/jvm/extension/host.lux   | 38 +++++++++++-----------
 1 file changed, 19 insertions(+), 19 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 0b3a0f9fd..16ef783f2 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -1,23 +1,23 @@
 (.module:
   [library
-   [lux (#- Type Label primitive int char type)
-    [ffi (#+ import:)]
+   [lux {"-" [Type Label primitive int char type]}
+    [ffi {"+" [import:]}]
     [abstract
-     ["." monad (#+ do)]]
+     ["." monad {"+" [do]}]]
     [control
      ["." maybe ("#\." functor)]
-     ["." exception (#+ exception:)]
+     ["." exception {"+" [exception:]}]
      ["." function]
      ["<>" parser ("#\." monad)
       ["<.>" text]
-      ["<.>" synthesis (#+ Parser)]]]
+      ["<.>" synthesis {"+" [Parser]}]]]
     [data
      ["." product]
      ["." text ("#\." equivalence)
-      ["%" format (#+ format)]]
+      ["%" format {"+" [format]}]]
      [collection
       ["." list ("#\." monad mix)]
-      ["." dictionary (#+ Dictionary)]
+      ["." dictionary {"+" [Dictionary]}]
       ["." set]]]
     [macro
      ["." template]]
@@ -26,8 +26,8 @@
       ["n" nat]]]
     [target
      [jvm
-      ["." type (#+ Type Typed Argument)
-       ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)]
+      ["." type {"+" [Type Typed Argument]}
+       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
        ["." box]
        ["." reflection]
        ["." signature]
@@ -36,19 +36,19 @@
     [tool
      [compiler
       ["." phase ("#\." monad)]
-      [reference (#+)
-       ["." variable (#+ Variable Register)]]
+      [reference {"+" []}
+       ["." variable {"+" [Variable Register]}]]
       [meta
-       [archive (#+ Archive)]]
+       [archive {"+" [Archive]}]]
       [language
        [lux
-        [analysis (#+ Environment)]
-        ["." synthesis (#+ Synthesis Path %synthesis)]
+        [analysis {"+" [Environment]}]
+        ["." synthesis {"+" [Synthesis Path %synthesis]}]
         ["." generation]
         [phase
          [generation
-          [extension (#+ Nullary Unary Binary
-                         nullary unary binary)]]
+          [extension {"+" [Nullary Unary Binary
+                           nullary unary binary]}]]
          [analysis
           [".A" reference]]
          ["." extension
@@ -58,11 +58,11 @@
   [luxc
    [lang
     [host
-     ["$" jvm (#+ Label Inst Def Handler Bundle Operation Phase)
+     ["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]}
       ["_" inst]
       ["_." def]]]]]
-  ["." // #_
-   [common (#+ custom)]
+  ["." // "_"
+   [common {"+" [custom]}]
    ["/#" //
     ["#." reference]
     ["#." function]]])
-- 
cgit v1.2.3