diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
3 files changed, 11 insertions, 11 deletions
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) |