diff options
| author | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
| commit | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (patch) | |
| tree | b042049a8ff6036007d57c8253ce203a1ed90744 /stdlib/source/unsafe | |
| parent | 220c804f9136c73058802575ee49f3f769d5599f (diff) | |
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
Diffstat (limited to '')
| -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 1f24ad030..0dd650ec2 100644 --- a/stdlib/source/unsafe/lux/data/binary.lux +++ b/stdlib/source/unsafe/lux/data/binary.lux @@ -14,7 +14,7 @@ [number {"+" hex} ["[0]" i64]]]]]) -(with_expansions [<jvm> (as_is (type: .public Binary +(with_expansions [<jvm> (these (type: .public Binary (ffi.type [byte])) (ffi.import: java/lang/Object @@ -28,11 +28,11 @@ "[1]::[0]" ("static" copyOfRange [[byte] int int] [byte]) ("static" equals [[byte] [byte]] boolean)))] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) + (for @.old (these <jvm>) + @.jvm (these <jvm>) @.js - (as_is (ffi.import: ArrayBuffer + (these (ffi.import: ArrayBuffer "[1]::[0]") (ffi.import: Uint8Array "[1]::[0]") @@ -45,7 +45,7 @@ (Primitive "bytearray")) @.scheme - (as_is (type: .public Binary + (these (type: .public Binary (Primitive "bytevector")) (ffi.import: (make-bytevector [Nat] Binary)) diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux index ca3620f56..3897dd399 100644 --- a/stdlib/source/unsafe/lux/data/collection/array.lux +++ b/stdlib/source/unsafe/lux/data/collection/array.lux @@ -22,7 +22,7 @@ (.as <index_type>) "jvm object cast" "jvm conversion long-to-int")]) - (as_is)) + (these)) (`` (template: .public (empty <size>) [((.is (.All (_ a) (.-> .Nat (..Array a))) @@ -299,7 +299,7 @@ [((.is (.All (_ a) (.-> a (..Array a) (.List a))) (.function (list|+default default array) (.loop [index ("lux i64 -" 1 (..size array)) - output (`` (.is (.List (~~ (.as_is (~~ (.type_of default))))) + output (`` (.is (.List (~~ (.these (~~ (.type_of default))))) {.#End}))] (.if ("lux i64 =" (~~ (.static ..underflow)) index) output |