diff options
| author | Eduardo Julian | 2022-10-20 15:11:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-20 15:11:05 -0400 |
| commit | 3525998c8fa9768dfeb333c553ccd71f38ac5311 (patch) | |
| tree | 43007cbe3d6710d70cd006762384d937b6e21c36 /stdlib/source/unsafe | |
| parent | 820ffc0a87d7960e62508fc451d9df7a94a6afa7 (diff) | |
Migrating default extensions to the new format [Part 3]
Diffstat (limited to 'stdlib/source/unsafe')
| -rw-r--r-- | stdlib/source/unsafe/lux/data/collection/array.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux index 6f85f60bb..c8c98508c 100644 --- a/stdlib/source/unsafe/lux/data/collection/array.lux +++ b/stdlib/source/unsafe/lux/data/collection/array.lux @@ -28,8 +28,8 @@ (template (jvm_int value) [(.|> value (.as <index_type>) - "jvm object cast" - "jvm conversion long-to-int")])) + .jvm_object_cast# + .jvm_conversion_long_to_int#)])) (these)) (`` (def .public empty @@ -42,7 +42,7 @@ (,, (.static @.jvm)) (|> (,, (..jvm_int size)) - "jvm array new object" + .jvm_array_new_object# (.is (..Array <item_type>))) (,, (.static @.js)) ("js array new" size) @@ -62,9 +62,9 @@ (,, (.static @.jvm)) (.|> array - "jvm array length object" - "jvm conversion int-to-long" - "jvm object cast" + .jvm_array_length_object# + .jvm_conversion_int_to_long# + .jvm_object_cast# (.is <index_type>) (.as .Nat)) @@ -92,8 +92,8 @@ (,, (.static @.jvm)) (.|> array - ("jvm array read object" (,, (jvm_int index))) - "jvm object null?") + (.jvm_array_read_object# (,, (jvm_int index))) + .jvm_object_null?#) (,, (.static @.js)) (,, (lacks?' "js array read" "js object undefined?" index array)) (,, (.static @.python)) (,, (lacks?' "python array read" "python object none?" index array)) @@ -118,7 +118,7 @@ ("jvm aaload" array index) (,, (.static @.jvm)) - ("jvm array read object" (,, (jvm_int index)) array) + (.jvm_array_read_object# (,, (jvm_int index)) array) (,, (.static @.js)) ("js array read" index array) (,, (.static @.python)) ("python array read" index array) @@ -138,7 +138,7 @@ (,, (.static @.jvm)) (.|> array - ("jvm array write object" (,, (jvm_int index)) value) + (.jvm_array_write_object# (,, (jvm_int index)) value) .as_expected) (,, (.static @.js)) ("js array write" index (.as_expected value) array) @@ -160,7 +160,7 @@ (..has! index (.as_expected ("jvm object null")) array) (,, (.static @.jvm)) - (..has! index (.as_expected (is <item_type> ("jvm object null"))) array) + (..has! index (.as_expected (is <item_type> (.jvm_object_null#))) array) (,, (.static @.js)) ("js array delete" index array) (,, (.static @.python)) ("python array delete" index array) |