Made extension-definition macros specify their bindings the same way as syntax:.

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))