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/primitive.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

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
-- 
cgit v1.2.3