diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/coll/array.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/data/coll/array.lux b/stdlib/source/lux/data/coll/array.lux index a4a3aa903..2dbf07803 100644 --- a/stdlib/source/lux/data/coll/array.lux +++ b/stdlib/source/lux/data/coll/array.lux @@ -10,26 +10,26 @@ (def: #export (new size) (All [a] (-> Nat (Array a))) - (_lux_proc ["array" "new"] [size])) + ("lux array new" size)) (def: #export (size xs) (All [a] (-> (Array a) Nat)) - (_lux_proc ["array" "size"] [xs])) + ("lux array size" xs)) (def: #export (read i xs) (All [a] (-> Nat (Array a) (Maybe a))) - (_lux_proc ["array" "get"] [xs i])) + ("lux array get" xs i)) (def: #export (write i x xs) (All [a] (-> Nat a (Array a) (Array a))) - (_lux_proc ["array" "put"] [xs i x])) + ("lux array put" xs i x)) (def: #export (delete i xs) (All [a] (-> Nat (Array a) (Array a))) - (_lux_proc ["array" "remove"] [xs i])) + ("lux array remove" xs i)) (def: #export (copy length src-start src-array dest-start dest-array) (All [a] (-> Nat Nat (Array a) Nat (Array a) |