aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation
diff options
context:
space:
mode:
authorEduardo Julian2021-08-29 21:59:48 -0400
committerEduardo Julian2021-08-29 21:59:48 -0400
commitef437d6584d8fd863c0dab276e5a3d4dc094767b (patch)
treee9167f045de84e7865815178e967ee85584df088 /lux-jvm/source/luxc/lang/translation
parentff537895fe9c24f37a0ce11b640af5d4882571a5 (diff)
De-taggification | part 0
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/primitive.lux10
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux8
4 files changed, 13 insertions, 13 deletions
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)