From 9df5ff6abc6e95c766d1907c5a9fee00730e749a Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 30 Mar 2022 15:25:06 -0400 Subject: Re-named ffi.as to "is", and ffi.check to "as", to line the names up with normal type-annotation macros. --- lux-php/source/program.lux | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) (limited to 'lux-php/source') diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux index 08bad8d41..b12d19917 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -189,34 +189,34 @@ (-> (-> (Array java/lang/Object) php/runtime/Memory) java/lang/Object php/runtime/Memory) (<| (if (ffi.null? value) (php/runtime/memory/NullMemory::INSTANCE)) - (case (ffi.check java/lang/Boolean value) + (case (ffi.as java/lang/Boolean value) {.#Some value} (if (as Bit value) (php/runtime/memory/TrueMemory::INSTANCE) (php/runtime/memory/FalseMemory::INSTANCE)) {.#None}) - (case (ffi.check java/lang/Long value) + (case (ffi.as java/lang/Long value) {.#Some value} (php/runtime/memory/LongMemory::new value) {.#None}) - (case (ffi.check java/lang/Double value) + (case (ffi.as java/lang/Double value) {.#Some value} (php/runtime/memory/DoubleMemory::new value) {.#None}) - (case (ffi.check java/lang/String value) + (case (ffi.as java/lang/String value) {.#Some value} (php/runtime/memory/StringMemory::new value) {.#None}) - (case (ffi.check [java/lang/Object] value) + (case (ffi.as [java/lang/Object] value) {.#Some value} (lux_structure (as (Array java/lang/Object) value)) {.#None}) - (case (ffi.check php/runtime/memory/ObjectMemory value) + (case (ffi.as php/runtime/memory/ObjectMemory value) {.#Some value} value @@ -247,7 +247,7 @@ index php/runtime/Memory]) php/runtime/Memory (`` (<| (~~ (template [ ] - [(case (ffi.check index) + [(case (ffi.as index) {.#Some index} ( trace ( index) self) @@ -321,7 +321,7 @@ maybe.trusted (as php/runtime/memory/ReferenceMemory) php/runtime/memory/ReferenceMemory::getValue)] - (case (ffi.check php/runtime/memory/NullMemory value) + (case (ffi.as php/runtime/memory/NullMemory value) {.#Some _} (again (++ idx) output) @@ -361,7 +361,7 @@ maybe.trusted (as php/runtime/memory/ReferenceMemory) php/runtime/memory/ReferenceMemory::getValue - (ffi.check php/runtime/memory/NullMemory)) + (ffi.as php/runtime/memory/NullMemory)) {.#Some _} (ffi.null) @@ -380,7 +380,7 @@ (def: (read host_object) Reader (`` (<| (~~ (template [ ] - [(case (ffi.check host_object) + [(case (ffi.as host_object) {.#Some _} {try.#Success } @@ -390,7 +390,7 @@ [php/runtime/memory/TrueMemory true] )) (~~ (template [ ] - [(case (ffi.check host_object) + [(case (ffi.as host_object) {.#Some value} (`` (|> value (~~ (template.splice )))) @@ -403,7 +403,7 @@ [php/runtime/memory/ReferenceMemory [php/runtime/memory/ReferenceMemory::getValue read]] [php/runtime/memory/ObjectMemory [{try.#Success}]] )) - (case (ffi.check php/runtime/memory/ArrayMemory host_object) + (case (ffi.as php/runtime/memory/ArrayMemory host_object) {.#Some value} (if (|> value (php/runtime/memory/ArrayMemory::get ..tuple_size_field) @@ -432,7 +432,7 @@ (-> Macro (Maybe php/runtime/memory/ObjectMemory)) (|> macro (as java/lang/Object) - (ffi.check php/runtime/memory/ObjectMemory))) + (ffi.as php/runtime/memory/ObjectMemory))) (def: interpreter (org/develnext/jphp/scripting/JPHPScriptEngine::new)) -- cgit v1.2.3