From 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 16 Aug 2021 01:12:01 -0400 Subject: Made extension-definition macros specify their bindings the same way as syntax:. --- lux-php/source/program.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'lux-php/source') 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)) -- cgit v1.2.3