aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/coll/array.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/data/coll/array.lux')
-rw-r--r--stdlib/source/lux/data/coll/array.lux10
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)