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

---
 lux-jvm/source/luxc/lang/translation/jvm/case.lux | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 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 4c385c0e4..41511f300 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -1,11 +1,11 @@
 (.module:
   [library
-   [lux (#- Type Label if let case)
+   [lux {"-" [Type Label if let case]}
     [abstract
-     ["." monad (#+ do)]]
+     ["." monad {"+" [do]}]]
     [control
      ["." function]
-     ["ex" exception (#+ exception:)]]
+     ["ex" exception {"+" [exception:]}]]
     [data
      [collection
       ["." list ("#@." mix)]]]
@@ -14,22 +14,22 @@
       ["n" nat]]]
     [target
      [jvm
-      ["." type (#+ Type)
-       ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)]
-       ["." descriptor (#+ Descriptor)]
-       ["." signature (#+ Signature)]]]]
+      ["." type {"+" [Type]}
+       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+       ["." descriptor {"+" [Descriptor]}]
+       ["." signature {"+" [Signature]}]]]]
     [tool
      [compiler
       ["." phase ("operation@." monad)]
       [meta
-       [archive (#+ Archive)]]
+       [archive {"+" [Archive]}]]
       [language
        [lux
-        ["." synthesis (#+ Path Synthesis)]]]]]]]
+        ["." synthesis {"+" [Path Synthesis]}]]]]]]]
   [luxc
    [lang
     [host
-     ["$" jvm (#+ Label Inst Operation Phase Generator)
+     ["$" jvm {"+" [Label Inst Operation Phase Generator]}
       ["_" inst]]]]]
   ["." //
    ["." runtime]
-- 
cgit v1.2.3