From ef437d6584d8fd863c0dab276e5a3d4dc094767b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 29 Aug 2021 21:59:48 -0400
Subject: De-taggification | part 0

---
 lux-jvm/source/luxc/lang/translation/jvm.lux                  |  4 ++--
 lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux |  4 ++--
 lux-jvm/source/luxc/lang/translation/jvm/primitive.lux        | 10 +++++-----
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux        |  8 ++++----
 4 files changed, 13 insertions(+), 13 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux
index 18c05fecc..41a10f32a 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm.lux
@@ -45,11 +45,11 @@
 
 (import: java/lang/reflect/Field
   ["#::."
-   (get [#? java/lang/Object] #try #? java/lang/Object)])
+   (get ["?" java/lang/Object] "try" "?" java/lang/Object)])
 
 (import: (java/lang/Class a)
   ["#::."
-   (getField [java/lang/String] #try java/lang/reflect/Field)])
+   (getField [java/lang/String] "try" java/lang/reflect/Field)])
 
 (import: java/lang/Object
   ["#::."
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 7db88c007..99c702b81 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -56,8 +56,8 @@
 
 (import: java/lang/Double
   ["#::."
-   (#static MIN_VALUE java/lang/Double)
-   (#static MAX_VALUE java/lang/Double)])
+   ("static" MIN_VALUE java/lang/Double)
+   ("static" MAX_VALUE java/lang/Double)])
 
 (def: $String (type.class "java.lang.String" (list)))
 (def: $CharSequence (type.class "java.lang.CharSequence" (list)))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 359406e7e..95d6c95bf 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -25,13 +25,13 @@
 
 (import: java/lang/Byte
   ["#::."
-   (#static MAX_VALUE byte)
-   (#static MIN_VALUE byte)])
+   ("static" MAX_VALUE byte)
+   ("static" MIN_VALUE byte)])
 
 (import: java/lang/Short
   ["#::."
-   (#static MAX_VALUE short)
-   (#static MIN_VALUE short)])
+   ("static" MAX_VALUE short)
+   ("static" MIN_VALUE short)])
 
 (def: .public (i64 value)
   (-> (I64 Any) (Operation Inst))
@@ -68,7 +68,7 @@
 
 (import: java/lang/Double
   ["#::."
-   (#static doubleToRawLongBits #manual [double] int)])
+   ("static" doubleToRawLongBits "manual" [double] int)])
 
 (def: d0-bits
   Int
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 5676fa5f9..76948ca72 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -64,13 +64,13 @@
 
 (import: java/lang/Byte
   ["#::."
-   (#static MAX_VALUE byte)
-   (#static MIN_VALUE byte)])
+   ("static" MAX_VALUE byte)
+   ("static" MIN_VALUE byte)])
 
 (import: java/lang/Short
   ["#::."
-   (#static MAX_VALUE short)
-   (#static MIN_VALUE short)])
+   ("static" MAX_VALUE short)
+   ("static" MIN_VALUE short)])
 
 (def: .public (tagI lefts right?)
   (-> Nat Bit Inst)
-- 
cgit v1.2.3