diff options
| author | Eduardo Julian | 2022-03-17 04:29:59 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-17 04:29:59 -0400 |
| commit | 220c804f9136c73058802575ee49f3f769d5599f (patch) | |
| tree | 238ffc7163635103ffca835a082902a4f8fda943 /stdlib/source/unsafe | |
| parent | 49387dbbf08a9b06b815a662d117c7aa37120482 (diff) | |
De-sigil-ification: !
Diffstat (limited to 'stdlib/source/unsafe')
| -rw-r--r-- | stdlib/source/unsafe/lux/data/collection/array.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux index 9d82fc7dd..ca3620f56 100644 --- a/stdlib/source/unsafe/lux/data/collection/array.lux +++ b/stdlib/source/unsafe/lux/data/collection/array.lux @@ -17,7 +17,7 @@ (with_expansions [<index_type> (.Primitive "java.lang.Long") <elem_type> (.Primitive "java.lang.Object") <array_type> (.type (..Array <elem_type>))] - (for @.jvm (template: (int! value) + (for @.jvm (template: (jvm_int value) [(.|> value (.as <index_type>) "jvm object cast" @@ -31,7 +31,7 @@ (.as_expected ("jvm anewarray" "(java.lang.Object )" size)) (~~ (.static @.jvm)) - (|> (~~ (..int! size)) + (|> (~~ (..jvm_int size)) "jvm array new object" (.is <array_type>) .as_expected) @@ -82,7 +82,7 @@ (~~ (.static @.jvm)) (.|> array (.as <array_type>) - ("jvm array read object" (~~ (int! index))) + ("jvm array read object" (~~ (jvm_int index))) "jvm object null?") (~~ (.static @.js)) (~~ (lacks?' "js array read" "js object undefined?" index array)) @@ -107,7 +107,7 @@ (~~ (.static @.jvm)) (.|> array (.as <array_type>) - ("jvm array read object" (~~ (int! index))) + ("jvm array read object" (~~ (jvm_int index))) .as_expected) (~~ (.static @.js)) ("js array read" index array) @@ -128,7 +128,7 @@ (~~ (.static @.jvm)) (.|> array (.as <array_type>) - ("jvm array write object" (~~ (int! index)) (.as <elem_type> value)) + ("jvm array write object" (~~ (jvm_int index)) (.as <elem_type> value)) .as_expected) (~~ (.static @.js)) ("js array write" index value array) |