diff options
author | Eduardo Julian | 2021-08-29 21:59:48 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-29 21:59:48 -0400 |
commit | ef437d6584d8fd863c0dab276e5a3d4dc094767b (patch) | |
tree | e9167f045de84e7865815178e967ee85584df088 /lux-jvm/source/luxc/lang/translation | |
parent | ff537895fe9c24f37a0ce11b640af5d4882571a5 (diff) |
De-taggification | part 0
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation')
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) |