diff options
author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/unsafe | |
parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'stdlib/source/unsafe')
-rw-r--r-- | stdlib/source/unsafe/lux/data/binary.lux | 10 | ||||
-rw-r--r-- | stdlib/source/unsafe/lux/data/collection/array.lux | 4 |
2 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/unsafe/lux/data/binary.lux b/stdlib/source/unsafe/lux/data/binary.lux index c5774734c..aff596957 100644 --- a/stdlib/source/unsafe/lux/data/binary.lux +++ b/stdlib/source/unsafe/lux/data/binary.lux @@ -14,7 +14,7 @@ [number (.only hex) ["[0]" i64]]]]]) -(with_expansions [<jvm> (these (type: .public Binary +(with_expansions [<jvm> (these (type .public Binary (ffi.type [byte])) (ffi.import java/lang/Object @@ -37,15 +37,15 @@ (ffi.import Uint8Array "[1]::[0]") - (type: .public Binary + (type .public Binary Uint8Array)) @.python - (type: .public Binary + (type .public Binary (Primitive "bytearray")) @.scheme - (these (type: .public Binary + (these (type .public Binary (Primitive "bytevector")) (ffi.import (make-bytevector [Nat] Binary)) @@ -54,7 +54,7 @@ (ffi.import (bytevector-length [Binary] Nat))) ... Default - (type: .public Binary + (type .public Binary (array.Array (I64 Any))))) (`` (with_expansions [<size> (.is .Nat size) diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux index b0c56e886..f7d7aebfb 100644 --- a/stdlib/source/unsafe/lux/data/collection/array.lux +++ b/stdlib/source/unsafe/lux/data/collection/array.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except type list) + [lux (.except list type) ["@" target] [abstract ["[0]" functor]] @@ -14,7 +14,7 @@ "#Array") (with_template [<item> <array>] - [(type: .public <array> + [(.type .public <array> {.#Primitive ..type {.#Item <item> {.#End}}})] [(variance.Mutable r w) (Array' r w)] |