diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/array.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/array.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/data/collection/array.lux b/stdlib/source/library/lux/data/collection/array.lux index 3c04a7d7f..0bd99245d 100644 --- a/stdlib/source/library/lux/data/collection/array.lux +++ b/stdlib/source/library/lux/data/collection/array.lux @@ -27,17 +27,17 @@ (with_expansions [<index_type> (primitive "java.lang.Long") <elem_type> (primitive "java.lang.Object") <array_type> (type (Array <elem_type>))] - (for {@.jvm + (for [@.jvm (template: (!int value) [(|> value (:as <index_type>) "jvm object cast" - "jvm conversion long-to-int")])} + "jvm conversion long-to-int")])] (as_is)) (def: .public (empty size) (All (_ a) (-> Nat (Array a))) - (for {@.old + (for [@.old (:expected ("jvm anewarray" "(java.lang.Object )" size)) @.jvm @@ -52,11 +52,11 @@ @.lua ("lua array new" size) @.ruby ("ruby array new" size) @.php ("php array new" size) - @.scheme ("scheme array new" size)})) + @.scheme ("scheme array new" size)])) (def: .public (size array) (All (_ a) (-> (Array a) Nat)) - (for {@.old + (for [@.old ("jvm arraylength" array) @.jvm @@ -73,7 +73,7 @@ @.lua ("lua array length" array) @.ruby ("ruby array length" array) @.php ("php array length" array) - @.scheme ("scheme array length" array)})) + @.scheme ("scheme array length" array)])) (template: (!read! <read!> <null?>) [(let [output (<read!> index array)] @@ -85,7 +85,7 @@ (All (_ a) (-> Nat (Array a) (Maybe a))) (if (n.< (size array) index) - (for {@.old + (for [@.old (let [value ("jvm aaload" array index)] (if ("jvm object null?" value) #.None @@ -104,13 +104,13 @@ @.lua (!read! "lua array read" "lua object nil?") @.ruby (!read! "ruby array read" "ruby object nil?") @.php (!read! "php array read" "php object null?") - @.scheme (!read! "scheme array read" "scheme object nil?")}) + @.scheme (!read! "scheme array read" "scheme object nil?")]) #.None)) (def: .public (write! index value array) (All (_ a) (-> Nat a (Array a) (Array a))) - (for {@.old + (for [@.old ("jvm aastore" array index value) @.jvm @@ -124,13 +124,13 @@ @.lua ("lua array write" index value array) @.ruby ("ruby array write" index value array) @.php ("php array write" index value array) - @.scheme ("scheme array write" index value array)})) + @.scheme ("scheme array write" index value array)])) (def: .public (delete! index array) (All (_ a) (-> Nat (Array a) (Array a))) (if (n.< (size array) index) - (for {@.old + (for [@.old (write! index (:expected ("jvm object null")) array) @.jvm @@ -141,7 +141,7 @@ @.lua ("lua array delete" index array) @.ruby ("ruby array delete" index array) @.php ("php array delete" index array) - @.scheme ("scheme array delete" index array)}) + @.scheme ("scheme array delete" index array)]) array)) ) |