aboutsummaryrefslogtreecommitdiff
path: root/lux-php
diff options
context:
space:
mode:
Diffstat (limited to 'lux-php')
-rw-r--r--lux-php/source/program.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux
index 72a064810..688626084 100644
--- a/lux-php/source/program.lux
+++ b/lux-php/source/program.lux
@@ -268,7 +268,7 @@
php/runtime/Memory
(|> value
(array.read! index)
- maybe.assume
+ maybe.trusted
(..value_wrapper lux_structure)))
(php/runtime/Memory
@@ -280,7 +280,7 @@
(^ (static runtime.variant_tag_field))
(|> value
(array.read! 0)
- maybe.assume
+ maybe.trusted
(:as java/lang/Integer)
php/runtime/memory/LongMemory::valueOf)
@@ -295,7 +295,7 @@
(^ (static runtime.variant_value_field))
(|> value
(array.read! 2)
- maybe.assume
+ maybe.trusted
(..value_wrapper lux_structure))
(^ (static runtime.tuple_size_field))
@@ -316,7 +316,7 @@
(if (n.< size idx)
(let [value (|> host_object
(php/runtime/memory/ArrayMemory::get (php/runtime/memory/LongMemory::new (.int idx)))
- maybe.assume
+ maybe.trusted
(:as php/runtime/memory/ReferenceMemory)
php/runtime/memory/ReferenceMemory::getValue)]
(case (ffi.check php/runtime/memory/NullMemory value)
@@ -345,18 +345,18 @@
(-> Reader php/runtime/memory/ArrayMemory (Try Any))
(case [(|> host_object
(php/runtime/memory/ArrayMemory::get ..variant_tag_field)
- maybe.assume
+ maybe.trusted
read)
(|> host_object
(php/runtime/memory/ArrayMemory::get ..variant_value_field)
- maybe.assume
+ maybe.trusted
read)]
[(#try.Success tag) (#try.Success value)]
(#try.Success [(java/lang/Long::intValue (:as java/lang/Long tag))
(: Any
(case (|> host_object
(php/runtime/memory/ArrayMemory::get ..variant_flag_field)
- maybe.assume
+ maybe.trusted
(:as php/runtime/memory/ReferenceMemory)
php/runtime/memory/ReferenceMemory::getValue
(ffi.check php/runtime/memory/NullMemory))
@@ -490,7 +490,7 @@
(wrap [global value definition]))))
(def: (ingest context content)
- (|> content (\ utf8.codec decode) try.assume (:as _.Statement)))
+ (|> content (\ utf8.codec decode) try.trusted (:as _.Statement)))
(def: (re_learn context content)
(run! content))
@@ -529,7 +529,7 @@
(:as Operation)
(function (@self state))
(:as Try)
- try.assume
+ try.trusted
(:as Try)
(do try.monad
[handler (try.from_maybe (..ensure_macro handler))