aboutsummaryrefslogtreecommitdiff
path: root/lux-php
diff options
context:
space:
mode:
Diffstat (limited to 'lux-php')
-rw-r--r--lux-php/source/program.lux26
1 files changed, 13 insertions, 13 deletions
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 [<class> <method> <extractor>]
- [(case (ffi.check <class> index)
+ [(case (ffi.as <class> index)
{.#Some index}
(<method> trace (<extractor> 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 [<class> <constant>]
- [(case (ffi.check <class> host_object)
+ [(case (ffi.as <class> host_object)
{.#Some _}
{try.#Success <constant>}
@@ -390,7 +390,7 @@
[php/runtime/memory/TrueMemory true]
))
(~~ (template [<class> <post>]
- [(case (ffi.check <class> host_object)
+ [(case (ffi.as <class> host_object)
{.#Some value}
(`` (|> value (~~ (template.splice <post>))))
@@ -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))