diff options
| author | Eduardo Julian | 2022-03-07 04:16:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-07 04:16:47 -0400 |
| commit | 2ac6926be617bf764c4c18a4f6fbba199f6be697 (patch) | |
| tree | bf333813ecf54844e039815fc46fd97b125234f8 /stdlib/source/unsafe | |
| parent | a7fc50b1906fa97fb56d5ebe3d3fff7baee276da (diff) | |
Compilers for scripting languages now only depend on new JVM compiler.
Diffstat (limited to 'stdlib/source/unsafe')
| -rw-r--r-- | stdlib/source/unsafe/lux/data/collection/array.lux | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux index cd6bebf63..83b7e5202 100644 --- a/stdlib/source/unsafe/lux/data/collection/array.lux +++ b/stdlib/source/unsafe/lux/data/collection/array.lux @@ -95,6 +95,9 @@ .true)))) <index> <array>)])) + (template: .public (has? index array) + [(.not (..lacks? index array))]) + (`` (template: .public (item <index> <array>) [((.: (.All (_ a) (.-> .Nat (..Array a) a)) |